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