However, one can go even further: if all finite non-empty infima exist, then ∧ can be viewed as a total binary operation in the sense of universal algebra.
Ωστόσο, μπορεί κανείς να πάει ακόμα παραπέρα: αν υπάρχουν όλα τα μη κενά πεπερασμένα σύνολα με κάτω φράγματα, τότε ∧ μπορεί να θεωρηθεί ως μία διμελής πράξη κατά την έννοια της καθολικής άλγεβρας.