| Binær relasjon | er ein delmengde av S x T (mengda S og T) |
| Identitelsrelasjon | alle element relaterer til seg sjølv
{⟨x,x⟩|x ∈ S}
{⟨1,1⟩, ⟨2,2⟩, ⟨3,3⟩} |
| Tom relasjon | Den tomme relasjonen fra S til T, som ikke relaterer noen elementer til hverandre: Ø. Her er den tomme relasjonen på mengden {1,2,3}: |
| Universiell Relasjon | Den universelle relasjonen frå S til T, som relaterer alle elementer i S til alle elementer i T: S ⨉ T. Her er den universelle relasjonen på mengden {1,2,3}:
{⟨1,1⟩, ⟨1,2⟩, ⟨1,3⟩,
⟨2,1⟩, ⟨2,2⟩, ⟨2,3⟩,
⟨3,1⟩, ⟨3,2⟩, ⟨3,3⟩} |
| Refleksiv relasjon | hvis det for alle x i S er slik at ⟨x,x⟩ ∈ R. Alle relaterer til seg selv |
| Symmetrisk relasjon | hvis det for alle x, y er slik at hvis ⟨x,y⟩ ∈ R, så ⟨y,x⟩ ∈ R. Dersom a relaterer til b, må b relatere til a |
| Transitiv relasjon | hvis det for alle x, y, z er slik at hvis ⟨x,y⟩ ∈ R og ⟨y,z⟩ ∈ R, så ⟨x,z⟩ ∈ R. Alt du kan gjøre i to steg, kan du også gjøre i ett steg |
| Ekvivalensrelasjon | hvis den er refleksiv, symmetrisk og transitiv |
| Anti-symmetrisk | hvis det for alle x,y er slik at hvis ⟨x,y⟩ ∈ R og ⟨y,x⟩ ∈ R, så x = y. |
| Irrefleksivitet | hvis det ikke er noen x ∈ S slik at ⟨x,x⟩ ∈ R. (S er mengda og R relasjonen til mengda) |
| Partiell ordning | hvis den er refleksiv, transitiv og antisymmetrisk |
| Total ordning/Linær ordning | hvis det for alle x og y i S er slik at xRy eller yRx |
