for X being set
for S being Subset of X holds free_magma S is multSubmagma of free_magma X