Concept Axiom

A Propositional Logic as Set Description Language formula $A$ that is assumed to be true in the world.

$A$ is true in domain $\mathcal{D}$ iff $[[A]]=\mathcal{D}$.