Supreum pat: Jeśli mam rodzinę zbiorów UA_i, w której choć dla choć jednego zbioru A supremum nie będzie istniało, to co będzie w przypadku gdy chcę znaleźć dla rodziny UA_i supremum supremów zbiorów A? Jeżeli choć jeden ze zbiorów nie ma supremum, to po prostu nie zaliczamy go do zbiorów supremów A, czy wtedy supremum supremów A też nie istnieje? I jak wtedy takie coś udowodnić?

pat: Supremum nie istnieje oczywiście dlatego, że jakiś zbiór A_i ma nieskończenie wiele elementów.