結果 : well defined set in math example