學弟也太可愛了吧，居然問否定敘述的定義域需不需要否定
這樣就像你在證明一個set 跟一個operation 不是group 的時候把那個set 寫出他以外的集合欸

沒想到吧汪

在稱讚機器狼嗎？欸嘿 Ow<☆