El conjunto de fórmulas existenciales de segundo orden que contiene sólo existenciales formula_13 se desina como formula_10 o incluso ∃SO.