Substructures of a pair

From CS2800 wiki
Revision as of 11:17, 20 April 2018 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)

If [math]x' [/math] and [math]y' [/math] are substructures of [math]x [/math] and [math]y [/math] respectively, then [math](x',y') [/math], [math](x,y') [/math] and [math](x',y) [/math] can all be considered substructures of [math](x,y) [/math]: they must all have been shown to be in [math]X \href{/cs2800/wiki/index.php/%5Ctimes}{\times} X [/math] before we could show that [math](x,y) \href{/cs2800/wiki/index.php/%E2%88%88}{∈} X \href{/cs2800/wiki/index.php/%5Ctimes}{\times} X [/math].