Eine Relation ist total, wenn für alle voneinander verschiedenen X und Y mindestens eines der Paare (X Y) und (Y X) in der Relation enthalten ist.