Zbiór A to zbiór liczb postaci 6k+1, gdzie k ∈ Z, czyli liczb, które w dzieleniu przez 6 dają resztę 1. W szczególności są to liczby nieparzyste (liczba 6k jest parzysta, więc liczba 6k+1 jest nieparzysta). Oznacza to, że każdy element zbioru A jest elementem zbioru B. Między zbiorami A i B zachodzi więc inkluzja A ⊂ B.