fortæl mig den formelle definition af banan