An internal definition in a realizability topos