コーシー れつだったら
kōshiiretsudattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of コーシー列

1. If it is a Cauchy sequence.; When it is a Cauchy sequence.

Tara Conditional
Mathematics