实际上，减弱或删去普通代数的某些假定，或将某些假定代之以别的假定，只要与其余假定不矛盾，就能构造出许多代数体系