Li-Fan Chen
says to
YSITD
其實用「是」還算沒問題，把集合論轉成敘述本來就會用到這個字