MyWikiBiz, Author Your Legacy — Saturday October 25, 2025
Jump to navigationJump to search
415 bytes added
, 13:58, 19 January 2009
| Line 3,280: |
Line 3,280: |
| | | || | | | || |
| | | colspan="2" | <math>\downharpoonleft s \downharpoonright ~=~ q ~=~ f_Q ~=~ \upharpoonleft Q \upharpoonright.</math> | | | colspan="2" | <math>\downharpoonleft s \downharpoonright ~=~ q ~=~ f_Q ~=~ \upharpoonleft Q \upharpoonright.</math> |
| | + | |- |
| | + | | valign="top" | 3. |
| | + | | <math>X\!</math> |
| | + | | align="center" | <math>=\!</math> |
| | + | | <math>\{ x \in X : x \in Q \}</math> |
| | + | |- |
| | + | | |
| | + | | |
| | + | | align="center" | <math>=\!</math> |
| | + | | <math>[| \upharpoonleft X \upharpoonright |] \quad = \quad \upharpoonleft X \upharpoonright^{-1} (\underline{1})</math> |
| | + | |- |
| | + | | |
| | + | | |
| | + | | align="center" | <math>=\!</math> |
| | + | | <math>[| f_Q |] \quad = \quad f_Q^{-1} (\underline{1}).</math> |
| | |} | | |} |
| | | | |
| | <pre> | | <pre> |
| − | 3. X = {u C U : u C X}
| + | X = {u C U : u C X} |
| | | | |
| | = |{X}| = {X}-1(1) | | = |{X}| = {X}-1(1) |