外延
がいえん extension denotation