Bevis ved element-argument at A∩B⊆AA\cap B\subseteq AA∩B⊆A.
Klikk for å snu kortet
La x∈A∩Bx\in A\cap Bx∈A∩B vilkårlig. Da x∈A∧x∈Bx\in A\land x\in Bx∈A∧x∈B per definisjon av snitt. Spesielt x∈Ax\in Ax∈A. Siden xxx var vilkårlig, A∩B⊆AA\cap B\subseteq AA∩B⊆A. ∎
Space / Enter for å snu