Sin embargo, uno puede ir incluso más allá: si todo ínfimo finito no vacío existe, entonces ^ puede ser visto como una operación binaria total en el sentido del álgebra universal.