Relasi biner: Perbedaan antara revisi

== Relasi A×A ==

Sebuah relasi ''A''×''A'', yaitu relasi dari himpunan ''A'' kepada ''A'' sendiri, dapat memiliki sifat-sifat berikut:

Kita menyebut relasi ''R'' dari ''A'' kepada ''A'' sebagai relasi ''R'' dalam ''A''.

 

=== Relasi Ekivalen ===

Sebuah relasi disebut sebagai relasi ekivalen jika relasi tersebut bersifat:

Relasi ekuivalen memiliki hubungan erat dengan [[partisi]], yang merupakan alasan mengapa partisi dari sebuah himpunan disebut kelas ekivalen atau kelas kesetaraan.

 

=== Orde Parsial ===

Orde parsial adalah relasi yang bersifat:

 

== Lihat pula ==