partial completeness means that not every supertype occurrence is a member of a subtype; that is, there may be some supertype occurrences that are not a member of any subtype. Total completeness means that every supertype occurrence must be a member of at least one subtype
