re-added InversionTest

added SetRelationship tests

InversionTest, ComplementTest and EqualityTest do not have their own
tests (only inherited ones) but their purpose is to properly test
SetRelationship