巨式定義