可算 かさん集合 しゅうごうであれば
kasan shūgōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 可算集合

1. If it is a countable set; When it is a countable set

Ba Conditional
Mathematics