Let me tell you a formula,
"To" means the direction of the arrow, from small collection to large collection, from sufficiency to necessity.
"a∈M or a∈N" is the union of m and n.
Including "a∈M∩N"
So a large set is a necessary and sufficient condition for a small set.