reflexive domain
A domain satisfying a recursive domain equation.
E.g. D = D -> D.
<2001-03-16>
Try this search on OneLook / Google
Nearby terms:
reference « reflection « reflexive « reflexive domain » Reflexive transitive closure » refutable » Regan Tom