In → graph theory, a → tree in which the → children of each → vertex are ordered.
See also: → ordered; → tree.
