Source : Free On-Line Dictionary of Computing

Hoare powerdomain
     
        {powerdomain}