Przypomnijmy, zbiór  jest podzbiorem zbioru  (symbolicznie ) wtedy i tylko wtedy, gdy każdy element zbioru  jest również elementem zbioru . Zależność odwrotna () nie musi zachodzić. Rozważamy