Note that in mathematics, when not otherwise specified, sets are typically compared by inclusion, not by cardinality. No mathematician would say "set Y lies between X and Z" to mean |X|<|Y|<|Z| and expect to be understood, unless there was some particular context to suggest that interpretation. It would in general be understood to mean, as it does here, that X is a subset of Y which is a subset of Z.