 A partially ordered set formula_3 is said to be finite when formula_4 is a finite set.In this case, the collection of all functions formula_19 that map formula_4 to the real numbers forms a finite-dimensional vector space, with pointwise addition of functions as the vector sum operation.The dimension of the space is just the number of elements of formula_4.