En el Modelo Formal de un Sistema, una actividad humana en el sistema, S, es válida (formal), "si y solo si":