Talk:Limit Ordinals Preserved Under Ordinal Multiplication

What is the page for the rule:


 * $x \in y \land y \subseteq z \implies x \in z$ It would fill in the missing justification. --Andrew Salmon 03:05, 7 August 2012 (UTC)