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)