Given: In triangle DEF, segment DJ is a perpendicular bisector of side EF.
i.e. DJ is perpendicular to EF and DJ divides EF into two equal parts EJ and JF. [The perpendicular bisector is a line that is perpendicular to a line segment and splits it into two congruent segments.]