Vector space spec for R3Element.