order Directory Reference

Directory dependency graph for order:

Files
	completeness.cppm
	Density and completeness profiles of orders.
	halfspace.cppm
	Compile-time halfspace predicates on ordered carriers.
	inclusion.cppm
	The inclusion (subset) order on subobject lattices, derived from the structural meet and equality (#831).
	lattice.cppm
	Order-theoretic meet / join / lattice structures.
	order.cppm
	Order relations and compile-time halfspace predicates.
	poset.cppm
	Preorders, partial orders, directed sets, chains.
	powerset.cppm
	The power set \(\mathfrak{P}(S)\) as a filtered universe over a reified subobject domain Sub(C) (#830).
	runs.cppm
	Run lists: the normal form of the sets of a chain built from intervals, valued in a species.
	total.cppm
	Total-order layer (stronger than :poset).