집합론의 공리론에서 A가집합이고,P가조건이면, B ={x∈A|P(x)}의 필요충분조건이[x∈A 이고 x가 P(x)를 만족하는 것]이면,B도집합이다. 즉, B는 A의 부분집합
당신은 어느 그룹입니까?