Distributivity of Relation Composition over Union, Intersection, and Difference

Composition distributes fully over UNION (both sides, always equality), but only ONE-WAY (subset, not equality) over intersection and difference — because it is built from an existential quantifier.