预蕴函

preimplication