Restriction_Spaces-HOLCF