同値 どうち るいだったら
dōchiruidattara

Noun
Da Copula

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

1. If/when equivalence classes…; If/when equivalent classes…

Tara Conditional
Mathematics