Assertion: union | /r/HasAspect | a sum type
Facets:
value: in type theory
type: OTHER
Source sentences:
text: In type theory, a union has a sum type; this corresponds to disjoint union in mathematics.