Open
Description
opened on Oct 22, 2021
Rewriting Ne as a set is an ill-defined process and should be used with care. This is discussed in #22327.
Briefly, Ne(x, 2)
, without knowledge about x
, can be expressed as the set Complement(Universalset, {2})
but it is writtn in master as Union(Interval.open(-oo, 2), Interval.open(2, oo))
which implies that x
is real...but it need not be, e.g. Ne(zoo, 2)
is True but zoo
is not in the reported Union
.
Activity