Sentence examples for be a binary relation from inspiring English sources

Let Z be a binary relation which relates states of A to states of B. Then we call Z a bisimulation between A and B if Duplicator can use Z as a nondeterministic winning strategy in the back-and-forth game between A and B where the first pair of moves of the two players is to choose their starting states.

Let ⪯ be a binary relation on X.

Let '⪯' be a binary relation defined on X.

Let ( X, d ) be a metric space and ℛ be a binary relation over X.

Let (( X,d ) ) be a metric space and let be a binary relation on X.

Let ≼ be a binary relation on X and (T:Xrightarrow X) be a mapping.

A selection function γ for a belief set K is relational if and only if there is a binary relation R such that for all sentences p, if K⊥p is non-empty, then γ(K⊥p) = {B ∈ K⊥p | CRB for all C ∈ K⊥p}.

P is a binary relation, asymmetric, and irreflexive.

I is a binary relation, symmetric, and reflexive.

Now, in Kripke's semantics for modal logic, the accessibility relation is a binary relation.

Here an 'I-predicable' is a binary relation symbol '=' satisfying (W).