sentences:  For example, if "R" is a division ring, then the members of FP("R") are exactly the finite-dimensional right vector spaces over "R", and two vector spaces are isomorphic if and only if they have the same dimension.Hence "V(R)" is isomorphic to the monoid formula_6 of all natural numbers, endowed with its usual addition.A slightly more complicated example can be obtained as follows.