Subspaces

A vector space living inside another one, and the three-line test that decides whether a set is one.