Definition:Line Segment/Equality

Definition
Two line segments are equal iff they have the same length.