Luego, "S" cumple las condiciones en la Definición 3.