Variables and Constraints

Date: 2025-12-01

A variable represents a set of possible values (elements) from the domain of some function.

Let g: {a, b, c} ⇾ {a, b, c, d} be a function defined as:
    a ⇾ a
    b ⇾ c
    c ⇾ a

Constraint:
Given
    g x => a

Here, x is an unknown. Based on the constraint, x must be an element from the domain {a, b, c} that satisfies the condition (maps to a).
Therefore, the set of possible values for x is {a, c}.

Links

• Sets and Functions