べき とう せいであれば
beki tōseideareba

Noun
Da Copula

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

1. If idempotence; When idempotence

Ba Conditional
Mathematics
Computing