Универсаль алгебра терминдарында, мәҫәлән, ҡулса — ул шундай универсаль алгебра , бында  алгебраһы — Абель төркөмө, һәм  ғәмәле  ҡарата уңдан һәм һулдан дистрибутив. Ҡулса, әгәр мультипликатив группоид ярымтөркөм булһа, ассоциатив тип атала.