Saludo!

Aunque sintacticamente no este bien visto que una funcion se declare e inicialice dentro de un _if_, en _Python_ **Si es posible** hacerlo:

He aqui tu codigo:

    eligio = raw_input("""
    1) Opcion 1
    2) Opcion 2
    3) Opcion 3
    Selecciona :><: """)

    if eligio =="1":
        def html(link):
            print "Hola mundo"
        
        html(1)  # Realizamos el llamado a la funcion para que ejecute

_Resultado:_

    Hola mundo
**Nota:** Obviamente, debes llamar a tu funcion, para que esta se ejecute, sino, esta no correra