• 存在定義