Variables and Constraints

Date: 2025-12-01

A variable represents a set of possible values (elements) from a specific set (its Domain).

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

Constraint:
It is known that:
    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