結果 : set theory in discrete structure