外延的定義