Distributividad es precisamente la preservación de los supremos binarios por ^.