Что такое классы эквивалентности комбинаторных термов? Душкин объяснит ...