От противного -- отличный прием.
Предположим противное -- что существует множество А, для которого пустое множество не является подмножеством. Это значит, что в пустом множестве имеется элемент, не принадлежащий А. Противоречие, ведь в пустом множестве нет ни одного элемента.
Значит, такого множества А не существует, и пустое множество является подмножеством любого множества