從定義