The property of the irreducible binary relation p on a finite set K is studied. The unique transitive relation is demonstrated and ρk∪ρk+1∪……∪ρk+d-1=ρ∪ρ2 ∪……∪ρn=X× X is also proved.