(n-1). x E y
x 
i,j:(n-1)//(i E j)n
nPropn. i E jn//(i E j)
x = n-1 i,j:n//(i E j) x i,j:(n-1)//(i E j)
n:{1...}, m:n, E:(nnProp).
(EquivRel x,y:n. x E y) 
(EquivRel x,y:m. x E y)
[n;n-1;E]| 1 | 6. EquivRel x,y:(n-1). x E y x i,j:(n-1)//(i E j) |
About:
 |  |  |  |  |  |  |