Li-Fan Chen
says to
YSITD
這是用列舉法定義的集合ㄇ