Go backward to 184.108.40.206 Predicate Application
Go up to 2.3.3 Atomic Formulae
Go forward to 220.127.116.11 Equations
DEFINEDNESS ::= definedness TERM
A definedness formula is written:
It is well-sorted when the term is well-sorted for
some sort. It then expands to a definedness assertion on the
fully-qualified expansion of the term.
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org