Plug in definitions

From CS2800 wiki

It is often helpful to plug in definitions; indeed, this is the whole point of clearly writing down definitions! If you are trying to prove two things are equal, find the appropriate definition of equality and plug it in.

We often indicate that we are using a definition by writing by definition, in other words, or i.e..

You can often save yourself some handwriting by expanding the outermost definitions first. For example, if you are proving [math]\href{/cs2800/wiki/index.php/2}{2}^{A \href{/cs2800/wiki/index.php/%5Ctimes}{\times} B} \href{/cs2800/wiki/index.php/%E2%8A%86}{⊆} \href{/cs2800/wiki/index.php/2}{2}^A \href{/cs2800/wiki/index.php/%5Ctimes}{\times} \href{/cs2800/wiki/index.php/2}{2}^B [/math], you could choose to expand any of the uses of the definition of the [math]\href{/cs2800/wiki/index.php/2}{2}^A [/math], of [math]A \href{/cs2800/wiki/index.php/%5Ctimes}{\times} B [/math], or of . If you reduce [math]A \href{/cs2800/wiki/index.php/%5Ctimes}{\times} B [/math] or [math]\href{/cs2800/wiki/index.php/2}{2}^A [/math] first, you will likely have to repeat its defintiion several times. If you expand [math]\href{/cs2800/wiki/index.php/%5Csubseteq}{\subseteq} [/math] first, on the other hand, you can immediately dive into the proof of [math]\href{/cs2800/wiki/index.php/%5Csubseteq}{\subseteq} [/math] without having to copy long formulas down.