Assertion: algebra's operation | /r/HasProperty | unary
Facets:
Source sentences:
text: Graphs, of the oriented kind arising in say automata theory where multiple edges may connect the same two vertices, can be organized as algebras having two unary operations \(s\) and \(t\) satisfying \(s(s(x))