Two subprograms that have the same parameter type profile, and either both are functions with the same result base type, or neither of the two is a function.