function definition in discrete mathematics - Search