Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.
Canonical static concept record
Open this concept in the interactive graphRead the Markdown equivalent
A collection regarded as a single mathematical object.
wp-setnlab-setopenlogic-set-theoryEach relation below ends at this concept.
No direct relations are authored in this direction.
Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
Choose a target set and a subset . Endorelations are the specialization .
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
mathlib-relationsThis is an authored directed relation from the source endpoint to the target endpoint.
Restrict to finite or countably infinite sets.
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
wp-countable-setopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Use sets of vertices and arrows with source and target maps.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-directed-graphdiestel-graph-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Select the unique set having no elements.
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
wp-empty-setopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Restrict to sets with finitely many elements.
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
wp-finite-setopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose sets of function, relation, and constant symbols with arity assignments.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-signature-logicopenlogic-model-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose a family of hyperedges, each a subset of vertices.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-hypergraphnlab-hypergraphdiestel-graph-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Supply the collection of objects (set-sized in this atlas presentation).
Feed several structures into a construction junction and impose compatibility between them.
wp-enriched-categorynlab-enriched-categoryriehl-category-contextThis is an authored directed relation from the source endpoint to the target endpoint.
Use a nonempty carrier set.
Feed several structures into a construction junction and impose compatibility between them.
wp-structure-logicopenlogic-model-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Supply the Set structure as one jointly required input.
Feed several structures into a construction junction and impose compatibility between them.
wp-group-actionnlab-group-actionetingof-representation-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Supply the common carrier on which all operations are interpreted.
Feed several structures into a construction junction and impose compatibility between them.
wp-universal-algebranlab-universal-algebraburris-universal-algebraThis is an authored directed relation from the source endpoint to the target endpoint.
Choose a closed operation .
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-magmastacks-algebra-textThis is an authored directed relation from the source endpoint to the target endpoint.
Add independent subsets satisfying hereditary and exchange axioms.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-matroidnlab-matroiddiestel-graph-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose measurable subsets.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-measurabletao-measure-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose one distinguished element of the set.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-pointedopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Send to , the set of all subsets of .
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
wp-power-setopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose a distance-like function.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-pseudometrictopology-without-tearsThis is an authored directed relation from the source endpoint to the target endpoint.
Choose a distinguished element 0 and a unary map .
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-peanoopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose open subsets satisfying the topology axioms.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-top-spacenlab-top-spacetopology-without-tearsThis is an authored directed relation from the source endpoint to the target endpoint.
Require every element of an element of to lie in .
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
wp-transitive-setopenlogic-set-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Add a collection of edges with endpoints in the vertex set.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-graphnlab-graphdiestel-graph-theoryThis is an authored directed relation from the source endpoint to the target endpoint.
Choose entourages satisfying the uniformity axioms.
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
wp-uniformnlab-uniformtopology-without-tears