Chapter 4.1

Subspaces

Condition (1) is implied by condition (3)