Definitions for

**"Binary expression"**an expression whose valuation is computed by applying its (binary) operator to the valuations of both of its operands

an expression with two operands such as addition

A Boolean expression consisting of two operands joined by a binary operator and resolving to a binary number.