@ SteveL27, How would i go about proving those? perhaps an example would help considerably,
What i was thinking was that i could set V := {v1, v2, ... , vn} where each V is a function which maps R -> R and thus an element of V, but i can't quite get a rigorous proof using this notation..