Transcendence operator is such operator, which returns a tuple containing objects of same order, for any algebraic structure with elements, that have taxonomic properties <==> elements belong to two or more disjoint sets, where every set for all their elements satisfies a predefined inequality relation, dependent on the generative context. Specific inequality relation, is given, by binary inequality relation, between the edges starting from the common point(point of categorical divergence).