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