Total relation

binary endorelation such that for every pair of elements either first is related with second or second is related with first