Li-Fan Chen says to YSITD
A 是一個集合