Relación total
De Wikipedia, la enciclopedia encyclopedia
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, o a está relacionado con b o b está relacionado con a, esto es:
Nótese que esto implica una relación reflexiva, pues incluye los casos en que a y b son el mismo elemento.