: “is a subset of” (or equals, when )
Example:
= all natural numbers divisible by 15 = all natural numbers divisible by 3
Proof: Prove that
There exists another natural number such that but Thus,
Example:
= all natural numbers divisible by 15 = all natural numbers divisible by 3
Proof: Prove that
There exists another natural number such that but Thus,