Set theory stubs