Linear order Well-ordered Disjoint Union of Well Ordered Sets Cartesian Product of Well Ordered Sets Order-isomorphic Initial Segment Proof by Induction Definition by recursion Ordinal