Oración 1: sea (G,X) un G-flujo, decimos que (G,X) es minimal si no contiene un subflujo propio
Oración 2: que no existe C ( X, C 6= ∅, G− invariante y compacto
Conector: es decir
Relación: entailment
Género: theses