Essentially, this means the same as subclass, but expressed in the jargon type theory rather than object oriented terminology.