 Atomic proposition

An indivisible statement treated as either true or false. In a labelled transition system, an atomic proposition $p$ holds at state $s$ exactly when $p\in L(s)$.