MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to search
160 bytes removed
, 22:42, 25 January 2009
| Line 766: |
Line 766: |
| | | style="border-right:1px solid black" | | | | style="border-right:1px solid black" | |
| | |} | | |} |
| − |
| |
| − | <br>
| |
| − |
| |
| − | <pre>
| |
| − | Rule 3
| |
| − |
| |
| − | If X c U
| |
| − |
| |
| − | and u C U,
| |
| − |
| |
| − | then the following are equivalent:
| |
| − |
| |
| − | R3a. u C X. :R1a
| |
| − | ::
| |
| − | R3b. {X}(u). :R1b
| |
| − | :R2a
| |
| − | ::
| |
| − | R3c. {X}(u) = 1. :R2b
| |
| − | </pre>
| |
| | | | |
| | <br> | | <br> |