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

In addition suitable Contents:
[ = ] [ ai ] [ at ] [ Cu ] [ D ] [ do ] [ domain ] [ E ] [ eC ] [ in ] [ io ] [ is ] [ ma ] [ ng ] [ om ] [ re ] [ reCursive ] [ sa ] [ si ] [ ua ] [ ve ]