Who here once was developing an operator to define inheritance (ancestral to descendant) relationship?
I was reading now that there is an very very similar operator in the graph theory - concerning point reachability in a oriented graph.
[]s,
Roberto Takata