少なくとも、1u=0とすれば他の公理は満たすから、他の公理からは導けなくて、普通のベクトル空間とは違うものを定めてることは分かる