X의 subspace Y에 포함된 compact in Y인 compact space 가 어떤 space의 topology로 보든 compact하다는 뜻인가요?