外延定义