dedekind::order::detail_axis Namespace Reference

A meet of cylinders: the factor on axis I is the intersection of both children's factors on that axis, so two bounds on the same axis (π_1<=5 && π_1<=3) meet to the tighter one rather than dropping either. More...

Concepts
concept	IsUniversalBoundary
	A factor that does not constrain its axis: the universal boundary.

Detailed Description

A meet of cylinders: the factor on axis I is the intersection of both children's factors on that axis, so two bounds on the same axis (π_1<=5 && π_1<=3) meet to the tighter one rather than dropping either.