CANONICALLY PARAMETERISED TOPOLOGICAL LINE SEGMENT

Definition An object is a <CANONICALLY PARAMETERISED TOPOLOGICAL LINE SEGMENT>; it is a <MANIFOLD 1D>; it is a <PARAMETERISED SET>; it has two ends; the ends have parametric positions 0.0 and 1.0; the domain of parameterisation is reals ξ such that 0 < ξ < 1