Hola
He tenido que leer un par de veces la pregunta para entenderla

Supongo que te refieres a esto:
lib.php
Código PHP:
function holaMundo() {
echo "Hola Mundo";
}
index.php
Código PHP:
<html>
<body>
<?
include( "lib.php" );
holaMundo();
?>
</body>
</html>
Esto es correcto, espero

.