Numsix

"задана операция" и "удовлетворяются аксиомы" - две части ССП. Нужная запятая.