Hoare powerdomain

See powerdomain.