結果 : basic notation of set theory