Li-Fan Chen
says to
YSITD
0 = {} 1 = {0} {} 是 {0} 的子集