Directed_Sets.Well_Order_Connection