„Reflexív reláció” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bot: következő hozzáadása: et:Refleksiivsus |
|||
4. sor:
== Definíció ==
Legyen <big>A</big> tetszőleges [[halmaz]]. Az <big>A</big> halmazon értelmezett <big>ρ</big> reláció '''reflexív''', ha bármely <big>''a''</big>∈<big>A</big> esetén érvényes
<center> <big>''a''ρ''a''</big>. </center>
Másképpen:
<center> <big>E<sub>A</sub>⊆ρ</big>, ahol <big>E<sub>A</sub></big> az <big>A</big> halmazon értelmezett [[egységreláció|egy(enlő)ségreláció]].
Formulákkal:
17 ⟶ 22 sor:
| halmazalgebrai || E<sub>A</sub>⊆A
|}
== Ekvivalens tulajdonságok ==
Könnyen igazolható, hogy ugyanezt a fogalmat adják meg a
== Példák ==
|