Complementary counting or Set theory