べき とう せいだったら
beki tōseidattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 冪等性

1. If idempotency; When idempotency

Tara Conditional
Mathematics
Computing