Ako je [dispmath]\rho\circ\delta=ρ[/dispmath] onda je[dispmath]\delta\subset\rho^{-1}\circ\rho[/dispmath]
Pitanje je da li je ovo tacno. Po ovome zakljucujem da je relacija [inlmath]\delta[/inlmath] neki vid neutrala. A ako je [inlmath]\rho^{-1}[/inlmath] inverz od [inlmath]\rho[/inlmath] onda nisam sigurna da li to [inlmath]\rho^{-1}\circ\rho[/inlmath] treba da bude jednako neutralu [inlmath]\delta[/inlmath] ili ne?