Dadas dos aplicaciones y las propiedades: