Content deleted Content added
Paragleiber (talk | contribs) →Description: fixed important mistake (source already in article) |
|||
Line 24:
Basic ordering relations are determined (<math>\succ_{W}</math> first, the latter three can be constructed therefrom)
* <math>a \succ_W b</math> iff
* <math>a\rightarrow_W b</math> iff <math>a\succ_Wb \wedge b\not\succ_Wa</math>
* <math>a\#{}_Wb</math> iff <math>a\not\succ_Wb \wedge b\not\succ_Wa</math>
| |||