Source : Free On-Line Dictionary of Computing

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