Semikernel

Semikernel --- полуядро.

A semikernel of a digraph [math]\displaystyle{ D }[/math] is an independent set of vertices such that for every [math]\displaystyle{ z \in V(D) \setminus S }[/math] for which there exists a [math]\displaystyle{ Sz }[/math]-arc there also exists a [math]\displaystyle{ zS }[/math]-arc. It is introduced by Newmann-Lara (1971).

See

• Semikernel modulo [math]\displaystyle{ F }[/math].