区体aが∀b(b⊂a→b=a)という性質を持つときaはアトムであるという