lattice-theoretic identity

Мат. теоретико-решеточное тождество