Atomic formula
= Atomic formula
{wiki}
An atomic <first-order formula> is a relation applied to terms, or a <logical equality> of two terms when <logical equality> is included in the logic. It contains no logical connective or quantifier. Its truth is preserved and reflected by an embedding of <first-order structures>.