for TS being TopStruct
for A, B being Subset of TS st A <> B holds
A ` <> B `