AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

Any

Field

Summary

No constraint: this node is not declared over any narrower codomain, so whatever
reading the question is asked in applies to it.

Remarks

Not a set, and not the universal set. It is the widest member of the order
above and the one Create(AngouriMath.Core.Domain) has no set for,
on purpose: it says that a node imposes no restriction, which is a statement about the
node rather than a claim that some collection contains every value. Nothing may read
it as "the set of everything" — the solution set of an equation is never this, and a
code path that needs a set has to name one.
A mathematical set that constrains nothing is already expressible, as a set-builder
whose predicate holds everywhere: { x : True } parses, prints, round-trips,
compares and answers membership. That is why there is no AA/UUSpecialSet and why this member is staying.
#996 It is the default codomain of a Variable, a
Matrix, a ConditionalSet, a
Lambda and the set operators — every node whose value is not
confined to numbers. It is written as domain(x, Any), which is a keyword in
that one position and not a set literal.
#1048

AngouriMath

Table of contents

AngouriMath

Any