Gegnvirk vensl
Úr Wikipediu, frjálsa alfræðiritinu
Í stærðfræði eru tvíundavensl R yfir mengi X gegnvirk ef um þau gildir fyrir öll a, b og c í X að ef a er venslað við b og b er venslað við c, þá er a venslað við c, táknað á rökmáli með:
Einfalt dæmi um gegnvirk vensl eru jafngildis venslin, oft talað um sem samasem:
og
Sem dæmi með tölum má skoða:
og