Категория:Properties of binary operations