If function

instance ... if fun 是 一对一函数 的 实例, if function 是 关连函数 的 实例, if function 是 可换函数 的 实例, ...

instance ... if function 是 关连函数 的 实例, if function 是 可换函数 的 实例, if prime 是 质数 的 实例, ...