пустое множество считают подмножеством

В каком смысле? Например, много (10) пустых банок, это много пустых банок, нельзя сказать, что они меньше полных, которых такое же количество. Если не тот пример, то мне интересно услышать ваш.

..любого множества.