arity_two_signature (287B)
1 # Arity two signature 2 3 A [relational_signature] where the maximal [relation_arity] of a [relation_name] is 2 4 5 Can be seen as [directed_graphs] with [vertex_coloring] and [edge_coloring] and allowing [self_loops] 6 7 Up: [relational_signature] 8 9 Aliases: arity-two signature, graph signature