A domain satisfying a recursive domain equation. E.g. D = D -> D.
Try this search on Wikipedia, OneLook, Google