Así es como una regla S → aSb afirma que si una cadena ab tiene la propiedad S, entonces las cadenas ab tienen la propiedad S también.