кольцо множеств теоремы

теорема 1:
Для любой непустой системы множеств существует одно и только одно кольцо, содержащее эту систему и содержащееся в любом другом (?) кольце содержащем эту систему.