Line 5,474: |
Line 5,474: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math> | + | | height="60" | <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math> |
| |} | | |} |
| | | |
Line 5,480: |
Line 5,480: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).</math> | + | | height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).</math> |
| |} | | |} |
| | | |
Line 5,488: |
Line 5,488: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math> | + | | height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math> |
| |} | | |} |
| | | |
Line 5,494: |
Line 5,494: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math> | + | | height="60" | <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math> |
| |} | | |} |
| | | |
Line 5,547: |
Line 5,547: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math> | + | | height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math> |
| |} | | |} |
| | | |
Line 5,553: |
Line 5,553: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math> | + | | height="60" | <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math> |
| |} | | |} |
| | | |
Line 5,595: |
Line 5,595: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math> | + | | height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math> |
| |} | | |} |
| | | |
Line 5,625: |
Line 5,625: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math> | + | | height="60" | <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math> |
| |} | | |} |
| | | |
Line 5,659: |
Line 5,659: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math> | + | | height="60" | <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math> |
| |} | | |} |
| | | |
Line 5,699: |
Line 5,699: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math> | + | | height="60" | <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math> |
| |} | | |} |
| | | |
Line 5,709: |
Line 5,709: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math> | + | | height="60" | <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math> |
| |} | | |} |
| | | |
Line 5,715: |
Line 5,715: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math> | + | | height="60" | <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math> |
| |} | | |} |
| | | |