By a ternary structure we mean an ordered pair $(X_0,T_0)$, where $X_0$ is a finite nonempty set and $T_0$ is a ternary relation on $X_0$. By the underlying graph of a ternary structure $(X_0,T_0)$ we mean the (undirected) graph $G$ with the properties that $X_0$ is its vertex set and distinct vertices $u$ and $v$ of $G$ are adjacent if and only if $$\{x\in X_0{T}_0(u,x,v)\}\cup \{x\in X_0{T}_0(v,x,u)\}=\{u,v\}.$$ A ternary structure $(X_0,T_0)$ is said to be the B-structure of a connected graph $G$ if $X_0$ is the vertex set of $G$ and the following statement holds for all $u,x,y\in X_0$: $T_0(x,u,y)$ if and only if $u$ belongs to an...

The symbol $K(B,C)$ denotes a directed graph with the vertex set $B\cup C$ for two (not necessarily disjoint) vertex sets $B,C$ in which an arc goes from each vertex of $B$ into each vertex of $C$. A subdigraph of a digraph $D$ which has this form is called a bisimplex in $D$. A biclique in $D$ is a bisimplex in $D$ which is not a proper subgraph of any other and in which $B\ne \varnothing$ and $C\ne \varnothing$. The biclique digraph $\overrightarrow{C}\left(D\right)$ of $D$ is the digraph whose vertex set is the set of all bicliques in $D$ and in which there is an arc from $K(B_1,C_1)$ into $K(B_2,C_2)$...