Subspaces

This video explains the concept of subspaces.

Presenter: B. v.d. Dries, 2020