Vector spaces of finite dimension.