## Glossary## Index## B## Index## Binary relation## ContextA term in discrete mathematics, including graph theory, and specifically conceptual graph theory. ## General definitionA binary relation is a relation which
relates ## CG definitionIn CG theory, a binary relation is a relation that is connected with ## Bipartite graphA term in graph theory. A It must then also be true that all of the arcs of the graph "cross the boundary" between the two sets A and B. That is, any arc must either: - Start in A and end in B, or
- Start in B and end in A.
That is, any arc must connect one node from A and one node from B. ## Bound variable## ContextA term in Prolog. ## DefinitionVariables can either be free or bound. A bound variable is a variable that has a value. Bound variables can have their bindings ## SharingA variable can |