Includes bibliographical references / We propose a new, widely generalized context for the study of the zero-divisor/ annihilating-ideal graphs, where the vertices of graphs are not elements/ideals of a commutative ring, but elements of an abstract ordered set (imitating the lattice of ideals), equipped with a binary operation (imitating products of ideals). The intermediate level of congruences of any algebraic structure admitting a "good" theory of commutators is also considered.