外延的がいえんてき<がい'えん>･てき0

extensionalextensivdenotativ