Equality (mathematics)
Equality as predicate

In logic, a predicate is a proposition which may have some free variables. Equality is a predicate, which may be true for some values of the variables (if any) and false for other values. More specifically, equality is a binary relation (i.e., a two-argument predicate) which may produce a truth value (true or false) from its arguments. In computer programming, equality is called a Boolean -valued expression, and its computation from the two expressions is known as comparison.
length_constraints:number_words[400], detectable_format:multiple_sections[4], detectable_content:number_placeholders[8]