Assertion: substitution | /r/HasProperty | total mapping
Facets:
value: in first-order logic
type: OTHER
Source sentences:
text: In first-order logic, a substitution is a total mapping σ: