„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> := S-S<sup>(b)</sup> = S<sup>(j)</sup>∪S<sup>(0)</sup>≤(S, ¤); ha S<sup>(-b)</sup> ≠ ∅;
# S<sup>(-j)</sup> := S-S<sup>(j)</sup> = S<sup>(b)</sup>∪S<sup>(0)</sup>≤(S, ¤); ha ha S<sup>(-j)</sup> ≠ ∅.
</center>
|