for X being set holds X = { (w `1) where w is Element of (free_magma X) : length w = 1 }