distributivity

in order theory

Categorie: