AngouriMath

Navigation

← Back to list of members

MembershipFacts​(AngouriMath.​Entity.​Variable,​AngouriMath.​Entity.​Set)

 Method (no overloads)

Summary

What membership in set establishes about name:
the membership, and for a set builder { y in S : P } membership in S and
each conjunct of P as well, so that x in RR \ ZZ, which is
{ x in RR : not x in ZZ }, says that x is real and not whole.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online