子集公理, 分离公理

аксиома подмножеств, аксиома выделения

子集(合)公理, 分离公理

аксиома существования множества всех частей произвольного множества