Mely nem-triviális relációk négyzete implikáció?

Minek teszel fel kérdéseket, ha utána nem olvasod el rájuk a választ?

Amit te implikációnak hívsz, annak következményreláció a neve, a valódi implikáció nem reláció, ahogy ezt a "közvetlen reláció"-s kérdésednél írtam.

Gondolom, a négyzet nálad a kompozíció önmagával. Olyan formulapárokból álló relációt keresünk, aminek valamilyen b-vel (a,b) és (b,c) eleme, amikorcsak c következménye a-nak. Erre tökéletes példa maga a következményreláció, ugyanis amikorcsak c következménye a-nak, akkor van olyan b, ami következménye a-nak, és amiből következik c; amint azt a "közvetlen implikáció"-s kérdésedre már megírtam.