Tag: vector space axioms