2. n:
3. k:
4. EquivRel x,y:
. x E y5. n E k
Min{ x | xEn } = Min{ x | xEk } 
E:(), n,k:. (EquivRel x,y:. x E y) 
(n E k) Min{ x | xEn } = Min{ x | xEk }| 1 | 1. E: 2. n: 3. k: 4. EquivRel x,y: . x E y5. n E k Min{ x | xEn } = Min{ x | xEk } |
About:
 |  |  |  |  |  |