has identity element

2 triples
GPTKB property

Random triples
Subject Object
gptkb:L^1(G) if and only if G is discrete
gptkb:Dihedral_group rotation by 0 degrees