vertel me wat de formele definitie van banaan is