„Növelő részfélcsoport” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
60. sor:
A növelő részfélcsoportok komplementerei - ha nem üresek - is részfélcsoportok (S,¤)-ben. Tehát:
<center>
# S<sup>(-b)</sup>&nbsp;:=&nbsp;S-S<sup>(b)</sup>&nbsp;=&nbsp; S<sup>(j)</sup>∪S<sup>(0)</sup>≤(S, ¤); ha S<sup>(-b)</sup>&nbsp;≠&nbsp;∅;
# S<sup>(-j)</sup>&nbsp;:=&nbsp;S-S<sup>(j)</sup>&nbsp;=&nbsp; S<sup>(b)</sup>∪S<sup>(0)</sup>≤(S, ¤); ha ha S<sup>(-j)</sup>&nbsp;≠&nbsp;∅.
</center>