Li-Fan Chen says to AIS3 2026 Unofficial
還有一個有三個元素的集合 3 = {a, b, c}