Un subconjunto "S" de "A" se dice que es multiplicativamente cerrado si verifica: