Is there accepted terminology for algebraic structures whose every subalgebra is free?
- Any free group
- Any vector space
- More generally, any free module over a PID. In fact, this characterizes PID's; given a commutative unital ring $R$, every free $R$-module enjoys the property of interest iff $R$ is a PID.