向量空间中线性相关性的推广

把向量空间中向量的线性相关性推广到抽象集合上的一种抽象相关关系.在这个基础上,证明了任意一个非空集合只要有一种相关关系,就存在基,且关于这个相关关系的任何两个基的维数相等更多还原