Es decir, que dos elementos tienen siempre un mayor elemento menor o igual que ellos y un menor elemento mayor o igual que ellos.