Extension (predicate logic)

De Wikipédia, l'encyclopédie libre