hasStandardBasis

P24320 predicate

Indicates that a given vector space is equipped with or possesses its usual canonical set of basis vectors.


Sample triples (1)

Subject Object
Euclidean space canonical basis of R^n