MyWikiBiz, Author Your Legacy — Thursday September 18, 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> |