定義式