SETOID

It is an undefined concept.
It holdeth the following properties. IF S is a setoid then:
a] If B=\=S TE! B"elongeth to S.
"] IF B "elongeth not to S then B=S.
c] If S=B #=$%=\=B then S=\=B&
d] If B "elongeth to S #=$ B doeth not "elong to S then B "elongeth to S.
e] There is no power setoid.
Since if 'ower S "elongeth to S then it is an eli(ent of S. iF !OT TE! it is e)ual to it.