of the closed type