Aby sprawdzić, czy zachodzi , należy rozważyć, czy wszystkie elementy zbioru  zawierają się również w zbiorze .

a) Zauważ, że każdy element zbioru  występuje również w zbiorze . Na podstawie tego