同値 どうち関係 かんけいであれば
dōchi kankeideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 同値関係

1. if it is an equivalence relation; when it is an equivalence relation

Ba Conditional
Mathematics