The equivalence relation defined by the (transitive closure of the) set of imposed constraints implies N L = N L

The closure can include indirect relation paths as well.

Closure operation of binary relation plays an important role in network, parsing and detection and diagnosis of malfunction in switch circuit.