Assertion: signature | /r/Synonym | algebraic signature
Facets:
Source sentences:
text: A signature with no function symbols is called a relational signature, and a signature with no relation symbols is called an algebraic signature.