(mathematics) describing a group in which the order of operations matters; specifically, where the result of combining two elements depends on which one comes first