空集合の基底とは?
少なくともベクトル空間ではないが