Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Extension (predicate logic)
open-in-new
<p>The extension of a <a href="/facts/Predicate_(mathematical_logic)/5WazAvKF">predicate</a> – a <a href="/facts/Truth-value/SY4e2w8l">truth-valued</a> <a href="/facts/Function_(mathematics)/CdReEKCh">function</a> – is the <a href="/facts/Set_(mathematics)/BfucfHMq">set</a> of <a href="/facts/Tuple/BI1HIxL8">tuples</a> of values that, used as arguments, satisfy the predicate. Such a set of tuples is a <a href="/facts/Relation_(mathematics)/HjblDaMy">relation</a>. </p>