Li-Fan Chen
says to
YSITD
然後我們現在在定義這兩個東西的性質