Correcto.
Es cierto que el conjunto vacío es un subconjunto propio de cualquier conjunto. En matemáticas, el concepto de subconjunto propio significa que un conjunto está completamente contenido en otro conjunto y los dos no son iguales. El conjunto vacío no tiene ningún elemento, por lo que naturalmente satisface la condición de subconjunto propio, es decir, está completamente incluido en cualquier conjunto, pero al mismo tiempo no es igual a ese conjunto. Podemos concluir que el conjunto vacío es un subconjunto propio de cualquier conjunto.