Соотношения между символами (например, a + b = b + а) могут быть частью логики, которая оперирует нечисловыми объектами.