Li-Fan Chen
says to
YSITD
subset 跟屬於是兩回事