SET theory