Sort

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic label or category in many-sorted logics that partitions the domain into named subsets and restricts which terms, function symbols, and predicate symbols apply to which domain elements.