# Tag Info

Assumptions are used to indicate membership of domains (Integers, Reals) or other relationships that hold for certain variables.