data_structure graph undirected discrete_structure graph_theory combinatorics binary_relation symmetric_relation nonlinear unordered