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 ]