definite Aussageform (Logik)

eine Aussageform (Aussage) zur Beschreibung einer Eigenschaft, die auf eine Menge A genau dann zutrifft, wenn die Aussageform bei Ersetzung der Variablen durch Elemente der Menge A u. a. geeigneter Mengen (Parameter) zu einer wahren Aussage wird.