abstract domination