MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to search
412 bytes added
, 17:16, 2 February 2009
| Line 3,116: |
Line 3,116: |
| | \upharpoonleft Q \upharpoonright (x) | | \upharpoonleft Q \upharpoonright (x) |
| | & = & | | & = & |
| − | \downharpoonleft s \downharpoonright (x) | + | \downharpoonleft s \downharpoonright (x) \quad (\forall x \in X) |
| | \end{array}</math> | | \end{array}</math> |
| | | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |
| | <p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p> | | <p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p> |
| | <p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p> | | <p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p> |
| | + | |- style="height:20px" |
| | + | | |
| | + | | |
| | + | | |
| | + | | style="border-left:1px solid black; text-align:center" | <math>::\!</math> |
| | + | |- style="height:40px" |
| | + | | |
| | + | | <math>\operatorname{R11e.}</math> |
| | + | | <math>\upharpoonleft Q \upharpoonright ~=~ \downharpoonleft s \downharpoonright</math> |
| | + | | style="border-left:1px solid black; text-align:center" | <math>\operatorname{R11e~:~\_\_?\_\_}</math> |
| | |} | | |} |
| | |} | | |} |