for A being Universal_Algebra st Constants A = {} holds
{} A is opers_closed