La propiedad de antisimetría de la relación de orden ≤ asegura que de existir un elemento máximo o mínimo en un conjunto, estos son únicos.