Definition:Ordinal Subtraction
Jump to navigation
Jump to search
Definition
Let $x$ and $y$ be ordinals such that $x \le y$.
Then the operation of ordinal subtraction is defined as:
- $y - x = \bigcup \set {z: x + z = y}$
Also see
Sources
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 8.14$