#noindex
[[이항관계,binary_relation]]가 [[동치관계,equivalence_relation]]가 될 세 조건 중 하나.

mkl
[[반사,reflection]]

Up: [[성질,property]]?