<<PureMathLoader`
In[]:=
AppendTo[$ContextPath,"PureMath`"]
In[]:=
{RemoteSubmitLoader`,System`,Global`,PureMath`}
Out[]=
is Hausdorff
TOPOLOGY CONCEPT
["Output"]
In[]:=
∀
{x.,y.},x.∈[Elements]&&y.∈[Elements]&&x.≠y.
∃
{U.,V.}
U.∈[Topology]&&V.∈[Topology]&&SetIntersection[U.,V.]EmptySet&&x.∈U.&&y.∈V.
Out[]=
TraditionalForm[%]
In[]:=
∀
{x.,y.},x.∈∧y.∈∧x.≠y.
∃
{U.,V.}
U.∈
τ.

∧V.∈
τ.

∧U.V.∅∧x.∈U.∧y.∈V.
Out[]//TraditionalForm=
EntityValue[Entity["GeneralTopology"],"Graph"]//Activate
In[]:=
{}
Deduce all
Copy to clipboard
Hide deduced
Show all
Reset
All
Out[]=