Matemáticamente, los dos primeros axiomas son los que satisface cualquier relación de orden parcial estricto.