Unity Conditions

• An object a is a whole under w iff w is an equivalence relation such that

P(y,a) _ P(z,a) _ w(y,z)

but not

w(y,z) _ _x(P(y,x) _ P(z,x))

• _ can be seen as a generalized indirect connection

Previous slide

Next slide

Back to first slide

View graphic version