Is there a term for a binary relation $R\subset A^2$ on some set $A$ such that if $(x, y)\in R$ then there is no $z$ such that $(y, z)\in R$ ? Are there any examples of it? Are there any related concepts?
I am working on a computer program that deals with "keywords" that have "aliases", and just came up with such relation, and wanted to know some hint in thinking about it.