A D2696: Digraph $G = (X, \mathcal{E})$ is a collider digraph if and only if

(1)	$X = \{ x, y, z \}$
(2)	$\mathcal{E} = \{ (x, z), (y, z) \}$