Oración 1: toda secuencia de vectores factibles tiene un ĺımite factible
Oración 2: el conjunto es cerrado
Conector: es decir,
Relación: entailment
Género: theses