はん関数 かんすうであれば
hankan sūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 汎関数

1. If it is a functional; When it is a functional

Ba Conditional
Mathematics