結果 : universal set in set theory