"dobbel funksjon" er et 15-bokstavers substantiv som brukes som synonym for "bifunksjon". bifunksjon betyr: En funksjon med to separate formål.