Krata (matematyka): Różnice pomiędzy wersjami

Usunięte 2 bajty ,  10 lat temu
 
== Półkraty ==
Półkraty w sensie algebraicznym to dokładnie [[Półgrupa|półgrupy]] <math>(X, +)\;</math> [[Przemienność|przemienną]], w których równość <math>x + x = x</math> zachodzi dla dowolnego <math>x \in X\;</math> (to znaczy [[pas (teoria półgrup)|pasy]] przemienne]]). Para <math>(X,\le),\;</math> gdzie relacja <math>\le\;</math> jest zdefiniowana przez
: <math>x\le y\Leftrightarrow x + y = y,</math>
nazywana jest '''półkratą górną''' (lub ∨-półkratą). Innymi słowy, jest to [[częściowy porządek]], w którym każda para <math>x, y\;</math> ma kres górny:
6079

edycji