Soient E un ensemble, A⊂E×E, et (x,y)↦x⊤y, (x,y)∈A, une loi de composition interne non partout définie sur E. Etant données deux parties X et Y de E, on désigne par X⊤Y l’ensemble des éléments de E de la forme x⊤y tels que x∈X, y∈Y et (x,y)∈A. On définit ainsi une loi de composition partout définie sur P(E).
Si (Xα)α∈A et (Yβ)β∈B sont deux familles quelconques de parties de E, on a
(α∈A⋃Xα)⊤(β∈B⋃Yβ)=(α,β)∈A×B⋃(Xα⊤Yβ).