Menge der freien, gebundenen Variablen einer Formel
geschlossene (closed) Formel: keine freien Variablen