La propiedad de totalidad de esta relación se puede también describir como que todo par de elementos que son comparables bajo la relación.