para todo "f", "g" de "X" y todo "α", "β" de "K" : "α" "f" + "β" "g" está en "X".