Una extensión o un superconjunto de una relación binaria tal que cada vez que (a, b) y (b, c) están en la extensión, (a, c) está también en la extensión.