Ok, wenn es sich aber um Gruppen handelt, dann macht aber die Subtraktion keinen Sinn, es sei denn ich interpretiere den Bindestrich falsch.

Ich dachte erst an Matrizen oder Untervektorräume, da ist die Subtraktion wohldefiniert, nur ist mir da keine allgemeine Notation bekannt, die ’ definiert.