Se utilizan para extraer una regla general.