2. m:
n3. E:
n
nProp4. EquivRel i,j:
n. i E j
x,y:i,j:m//(i E j). x = y 
i,j:n//(i E j) 
x = y n:{1...}, m:n, E:(nnProp).
(EquivRel i,j:n. i E j) 
(x,y:i,j:m//(i E j). x = y i,j:n//(i E j) x = y)| 1 | 1. n: {1...} 2. m: n3. E: nnProp4. EquivRel i,j: n. i E j x,y:i,j:m//(i E j). x = y i,j:n//(i E j) x = y |
About:
 |  |  |  |  |  |  |