Li-Fan Chen says to YSITD
{1} 屬於 {1, 2, 3}