theorem Th28: :: AOFA_000:28

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