12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 03:26, 7 January 2013
, 03:26, 7 January 2013→6.35. Reducibility of Sign Relations: markup
Line 8,784:
Line 8,784:
If R is visualized as a solid body in the 3 dimensional space XxYxZ, then Proj (R) can be visualized as the arrangement or ordered collection of shadows it throws on the XY, XZ, and YZ planes, respectively.
−There are a couple of set theoretic constructions that are useful here, in particular for describing the source and target domains of Proj.+
|}
|}
−<pre>
+If <math>L\!</math> is visualized as a solid body in the 3-dimensional space <math>X \times Y \times Z,\!</math> then <math>\operatorname{Proj}^{(2)}(L)\!</math> can be visualized as the arrangement or ordered collection of shadows it throws on the <math>XY,\!</math> <math>XZ,\!</math> and <math>YZ\!</math> planes, respectively.
−A couple of set-theoretic constructions are useful here, in particular for describing the source and target domains of the projection operator <math>\operatorname{Proj}^{(2)}.\!</math>
+<pre>
1. The set of subsets of a set S is called the "power set" of S. This object is denoted by either of the forms "Pow (S)" or "2S" and defined as follows:
1. The set of subsets of a set S is called the "power set" of S. This object is denoted by either of the forms "Pow (S)" or "2S" and defined as follows:
