Una
relación binaria R sobre un
conjunto A es una
relación total (o relación conexa) cuando se cumple que para cada dos elementos
a y
b de
A, ó
a está relacionado con
b ó
b está relacionado con
a, esto es:
Tenga en cuenta que esto implica una
relación reflexiva