theorem :: ROUGHIF1:36

for X, Y being Subset of ExampleRIFSpace st X = {1,2} & Y = {2,3,4} holds
kappa (X,Y) <> kappa (Y,X)