Atomic Formula

A formula that contains no logical connectives (such as ∧, ∨, →, ¬) and no quantifiers; in first-order logic an atomic formula (atom) is typically a predicate symbol applied to a tuple of terms (including equality atoms), serving as the indivisible building block of complex formulas.