Totale relatie
In de wiskunde heet een tweeplaatsige relatie  op een verzameling  totaal of volledig als voor elke twee elementen geldt dat de een in relatie staat tot de ander of de ander tot de een, dus als voor alle  geldt  of  (of beide).

In een totale relatie zijn alle elementen met elkaar te vergelijken.

Voorbeelden 
 De relatie  is een totale relatie op de reële getallen, aangezien voor alle  geldt:  of . De relatie  bepaalt tevens een totale orde op .

 De relatie  is geen totale relatie op de reële getallen, aangezien voor alle  geldt: . De relatie  bepaalt een strikte totale orde op .

 De relatie , "is een deelverzameling van", tussen de deelverzamelingen van een verzameling  is ook niet totaal, want van bijvoorbeeld de deelverzamelingen  en  van de gehele getallen is geen van beide deel van de ander.

Eigenschappen en gerelateerde begrippen 
Een totale relatie is reflexief.

Als een transitieve relatie totaal is, is de relatie een totale preorde. Als een partiële orde totaal is, is de relatie een totale orde.

Een tweeplaatsige relatie  op  heet connex als voor alle  geldt  of .

Een connexe relatie is niet noodzakelijk reflexief. Een strikte partiële orde is een strikte totale orde dan en slechts dan als de orde connex is.

Referenties

Relaties op verzamelingen