„Szürreális számok” változatai közötti eltérés

a (gondolatjel javítása (checkwiki [050]) AWB)
'''''Konstrukciós szabály:''''' Legyenek ''L'' és ''R'' szürreális számokból alkotott halmazok. Ha az ''L'' és az ''R'' halmazokra teljesül, hogy ''R'' egy eleme sem kisebb vagy egyenlő, mint ''L'' elemei, akkor a halmazpár szürreális számot definiál.
 
'''''Rendezési szabály:''''' Az <math>x = \{L_x|R_x\}</math> és az <math>y = \{L_y|R_y\}</math> szürreális számokra akkor teljesül <math>x\leq y</math>, ha <math>y</math> nem kisebb egyenlő, nemmint bármely eleme <math>L_x</math>-nek, és <math>R_y</math> egy eleme sem kisebb egyenlő, mint <math>x</math>.
 
A jelölés egyszerűsítésére elhagyjuk a halmazok zárójeleit, és az üres halmazokat. Így például <math>\{a, b \,|\, x \}</math> ugyanaz, mint <math>\{ \{a, b\} | \{x\} \}</math>, illetve <math>\{ | a \}</math> megegyezik az <math>\{ \empty \,|\, \{a\} \}</math> szürreális számmal. A kisebb-egyenlő szabályt teljesítő <math>\{ L | R \}</math> objektumot jólformáltnak is nevezik, hogy megkülönböztessék a nem jólformált objektumokról, amikről később a játékok kapcsán lesz szó.
4

szerkesztés