A term used when talking about methods of definition of types.
When defining a subtype by differentiae, one first makes reference to one or more supertypes, and then one lists all of the differences ("differentiae") between the subtype and the supertype(s).
A term in graph theory.
A directed arc is an arc which has a direction. The converse is an undirected arc, which does not have a direction.
A directed arc goes from one node to another node. In other words, it has a direction. An undirected arc merely connects two nodes, without specifying any direction.
All of the arcs in conceptual graphs are directed.
A term in discrete mathematics, and CG theory.
"Dyadic" is an adjective meaning "of 2 X", where "X" is determined by the context.
A dyadic lambda expression is a lambda expression which has two formal parameters.