Satisfaction Relation

The formal relation |= (or ⊧) between a structure (or model), a variable assignment (where applicable), and a formula that holds exactly when the formula is true in that structure under that assignment according to the language's semantic rules.