Pai, din ipoteza, induc ca multimea B este inclusa in A. Ceea ce inseamna ca elementele gasite in B se gasesc musai si in A.
Pentru cerinta A: Toate vietatile zburatoare dar care nu sunt pasari. (Si exista, spre exemplu, liliacul este considerat mamifer zburator, nu pasare sau insectele zburatoare.)
Cerinta B: Aici e multimea vida. (Nu exista pasari care sa nu fie vietate)