外延の

がいえんの2gaien no

extensional; extensiv; denotativ.