n. a property that is inherited by a space, S, whenever it is possessed both by a subspace, T, and by the factor space, S/T; for example, being Noetherian is a three-space property. Such a property of groups is called a polyproperty.