In the case of a relation which is only
S, the definition of
Here the function
sup is the supremum which calculates the least number greater than or equal to all of
the numbers of
the argument set, e.g.
The height is then the order type of the longest path.
The height of
(S,⊰) is defined as
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2014 Barry Watson. All rights reserved.