sufficient condition

condition that guarantees that another statement holds

en-US/səˈfɪʃənt kənˈdɪʃən/
en-GB/səˈfɪʃnt kənˈdɪʃn/

カテゴリ：

binary relation