reflexive domain

Technology Dictionary -> reflexive domain

Search:

reflexive domain



A domain satisfying a recursive domain equation. E.g. D = D -> D.