added SymbolicInverseRelation and fixed bug inside symb. set comp. added membership method.