BeDict Logo

extensions

/ɪkˈstɛnʃənz/ /ɛkˈstɛnʃənz/
の視覚的イラスト extensions: 引数として使用されたときに述語を満たす値の組の集合
noun

引数として使用されたときに述語を満たす値の組の集合

述語「〜と同じ家に住んでいる」の場合、拡張は、JohnとMaryが一緒に住んでいて、DavidとSarahが一緒に住んでいる場合、ペア(John、Mary)、(Mary、John)、(David、Sarah)、および(Sarah、David)です。