theorem :: ALGSTR_4:29

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