Equality of sets demands:
This axiom fails for the domain Set Any
. For example:
axiom
X:Set Any
Type: Void
axiom
Y:Set Any
Type: Void
axiom
X:=["x"]
Type: Set(Any)
axiom
Y:=["x"]
Type: Set(Any)
axiom
(X=Y)::Boolean
Type: Boolean
and
axiom
X:=[1.0]
Type: Set(Any)
axiom
Y:=[1.0]
Type: Set(Any)
axiom
(X=Y)::Boolean
Type: Boolean
But notice that the following cases work:
axiom
X:=[1]
Type: Set(Any)
axiom
Y:=[1]
Type: Set(Any)
axiom
(X=Y)::Boolean
Type: Boolean
axiom
Z:Set Union(String,Integer,Float)
Type: Void
axiom
W:Set Union(String,Integer,Float)
Type: Void
axiom
Z:=["x"]
Type: Set(Union(String,Integer,Float))
axiom
W:=["x"]
Type: Set(Union(String,Integer,Float))
axiom
(Z=W)::Boolean
Type: Boolean
Category: Axiom Mathematics => Axiom Library