下定義