## You are here

HomeR-minimal element

## Primary tabs

# R-minimal element

Let $A$ be a set and $R$ be a relation on $A$. Suppose that $B$ is a subset of $A$. An element $a\in B$ is said to be $R$-minimal in $B$ if and only if there is no $x\in B$ such that $xRa$. An $R$-minimal element in $A$ is simply called $R$-minimal.

From this definition, it is evident that if $A$ has an $R$-minimal element, then $R$ is not reflexive. However, the definition of $R$-minimality is sometimes adjusted slightly so as to allow reflexivity: $a\in B$ is $R$-minimal (in $B$) iff the only $x\in B$ such that $xRa$ is when $x=a$.

Remark. Using the second definition, it is easy to see that when $R$ is a partial order, then an element $a$ is $R$-minimal iff it is minimal.

Related:

WellFoundedRelation

Synonym:

R-minimal, $R$-minimal

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

03B10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections