Definition:Ordinal Subtraction

From ProofWiki
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