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.