看到这集合符号，遥想到了当年。
【 在 Lispboreme 的大作中提到: 】
: 集合A满足：  
: ①0,1∈A；  
: ②任意a,b∈A，a-b∈A；  
: ③任意a∈A，a≠0，1/a∈A  
:  
: 求证:任意a,b∈A，ab∈A  
:  
: 证明梗概  
:  
: 从②设a=0，得  
: ④任意b∈A，-b∈A；  
: 从②④得  
: ⑤任意a,b
: ..................

发自「今日水木 on M2104K10AC」
--
FROM 49.93.83.*