Definition:Relation Segment
Jump to navigation
Jump to search
Definition
Let $X$ be a set.
Let $R$ be a relation on $X$.
Let $x \in X$.
Then the $R$-segment of $x$, denoted by $x^R$, is defined by:
- $x^R := \left\{ {y \in X: \left({y, x}\right) \in R}\right\}$
Sources
- Mizar article WAYBEL_4:def 10