الفضاء المتجهي على مجموعة مزوَّدة بجمع يجعل زمرةً تبديلية (وتُكتب صفرها أو )، وبضرب سلّمي بحيث يكون، من أجل كل و :
والنتائج: و و ، و أو (بالضرب في ).
أمثلة
مثال 18.2
(بالعمليات إحداثيةً إحداثية)؛ وكثيرات الحدود ؛ و الدوال من أيّ مجموعة إلى (بالعمليات نقطةً نقطة) — وهي تحتوي الدوال المتصلة والمتتاليات وغيرها؛ و فضاءً متجهيًا على . وفي كل حالة تُورَّث البديهيات من بديهيات .