Variables and Constraints
Date: 2025-12-01
A variable represents a set of possible values of a specific type — meaning they belong to a specific Set (Domain).
The elements of this set of possible values belong to the Domain
Let function g: {a, b, c} ⇾ {a, b, c, d} be defined such that:
a ⇾ a
b ⇾ c
c ⇾ a
Constraint:
It is known that:
g x => a
In this context, x represents the set of elements from the Domain {a, b, c} such that the reduction results in a.
The set of values where g x reduces to a is {a, c}.
Links