SUB VECTOR SPACE
Definition
An object is a <SUB VECTOR SPACE> if and only if: it is a <VECTOR SPACE> ((U, +U, 0U), (F, +F, *, 0F, 1F), °U); it is a <SUB STRUCTURE> where the containing structure is a <VECTOR SPACE>((V, +U, 0U), (F, +F, *, 0F, 1F), °U), such that V is a subset of U