Oración 1: de ahora en adelante todas las categoŕıas que consideremos serán modales
Oración 2: un álgebra L será llamada modal, si lo es cuando la vemos como una categoŕıa
Conector: en particular
Relación: entailment
Género: books