同値 どうち関係 かんけいだったら
dōchikankeidattara

Noun
Da Copula

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

1. If/when equivalent relation; If it is an equivalence relation

Tara Conditional
Mathematics