What results of the form `A sub-X of a free X is free' are known? I am aware of groups, magmas (= set with binary operation), and modules over a principal ideal domain. I'd be interested to hear of structures for which this is either known to be true, or examples where it fails. John Stell