define equality and complementary relations