0, i+1, n-1, A(i,j) == 1 && A(j,k) == 1 && A(i,k) == 0
The transitive property in a relation matrix is checked by ensuring that if A(i, j) and A(j, k) are both 1, then A(i, k) must also be 1. The provided code correctly implements this check using nested loops.