Importált fogalmak fogalomtárának meghatározása

Itt adhatjuk meg, hová kívánjuk importálni a fogalmakat: