On Definability in Multimodal Logic I. Basic Notions