lambda1@tg
says to
YSITD
沒有一個明確的集合，談cardinality 沒有任何意思