has identity element

6 triples
GPTKB property

Random triples
Subject Object
gptkb:Heyting_algebra bottom element
gptkb:S_3 (1)
gptkb:Klein_Group (0,0)
gptkb:musical_group Identity Element
gptkb:musical_group An element that, when combined with any element of the group, results in that element.
gptkb:Heyting_algebra top element