for A1, A2 being set
for S being CatSignature of A1 st S is CatSignature of A2 holds
A1 = A2