Changes

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>
 +
|-
 +
| &nbsp;
 +
| &nbsp;
 +
| align="center" | <math>=\!</math>
 +
| <math>[| \upharpoonleft X \upharpoonright |] \quad = \quad \upharpoonleft X \upharpoonright^{-1} (\underline{1})</math>
 +
|-
 +
| &nbsp;
 +
| &nbsp;
 +
| 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)
12,080

edits