Eräs todistus Todista, että jos A ∩ B = A, niin A ⊆ B. Ratkaisu. Sovelletaan monisteessa olevaa osajoukon määritelmää 1.2. Valitaan mielivaltainen x ∈ A. Näytetään, että silloin x ∈ B. Koska x ∈ A, niin oletuksen mukaan x ∈ A ∩ B. Koska x ∈ A ∩ B, niin monisteen leikkauksen määritelmän 1.3 perusteella x ∈ A ja x ∈ B. Nyt logiikan perusteella on, että x ∈ B. Olemme nyt todistaneet, että x ∈ A ⇒ x ∈ B, joten monisteen osajoukon määritelmän 1.2 mukaan väite on voimassa.
1