Li-Fan Chen says to YSITD
F是所有元素的集合