General Topology EntityStore

Entity store representing definitions and theorems of point-set topology

Originator: James Munkres

(2 entity types, 441 entities, 21 properties)

Examples

Retrieve the ResourceObject:

In[1]:=

Out[1]=

View the data:

In[2]:=

Out[2]=

In[3]:=

Out[3]=

Activate usage messages and add “GeneralTopology`” to your $ContextPath:

In[4]:=

Activate traditional form formatting:

In[5]:=

In[6]:=

$SetBuilder[x^2, x \[Element] Reals] // TraditionalForm$

Out[6]=

View random concepts:

In[7]:=

Out[7]=

View random theorems:

In[8]:=

Out[8]=

View full theorem statements:

In[9]:=

Out[9]=

View relationships between concepts and theorems:

In[10]:=

Out[16]=

Wolfram Research, "General Topology EntityStore" from the Wolfram Data Repository (2016) https://doi.org/10.24097/wolfram.56398.data