A deduction of the equivalence theorem on the serial binary relation on a finite set U (U ≠ Φ) | IEEE Conference Publication | IEEE Xplore