【 在 Basameixi 的大作中提到: 】
: 等于号两边可以互换吧
从集合论角度，白马属于马，马不属于白马，这里的是字是属于的意思；例如你是人，反过来就不对了
--
FROM 223.98.169.*