Властивість математичної структури (зокрема, групи), яка полягає в тому, що для будь-яких двох впорядкованих пар її елементів (за умови, що елементи в парах попарно різні) існує рівно один елемент цієї структури, що переводить першу пару в другу шляхом своєї дії.
drevosliv.com
Словник Української