正式な名称を省略して呼ぶこと。また、その呼び名。略名。