theorem :: AOFA_000:78

for A being Universal_Algebra
for B being Subset of A holds Constants A c= B |^ 1