집합 A가 있고, power set P(A)에 대해 <P(A),⊂>에 대해 poset이 정의되고, 이 po-set상에서 ultrafilter가 정의되 때, 임의의 ultrafilter의 모든 원소는 반드시 filter이여야 하나요???