Weil ich seh im Moment nur drei "Dinge" G, W und G', wobei G' irgendwie abhängig von G ist oder aus G entsteht und irgendeine Subtraktion definiert ist.
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.