Źródło TeX:

x \cup (x \cap y)=x \quad , \quad x \cap (x \cup y)=x