Olcum teorisinde tanimlanan cebir ve $\sigma$-cebrine "cebir" (algebra) denmesinin sebebi nedir? Neden tanim secimi olarak cebir secilmis? Genel bir cebir tanimi var midir?