Una parola tira l'altra - AM Cirese

WELLERISMI E MICRO-RÉCITS 82
che si legge: secondo la definizione Taylor, per tutti gli x (vale la regola che) x è
proverbio se e solo se x gode della proprietà Jl ( essere cosa linguistica breve) e della
proprietà E1 (essere cosa linguistica divulgata).
L'insieme dei proverbi risulta perciò così definito (sempre secondo la formulazione
Taylor):
Df TAY: P = [x I J1x A E1x]
che si legge: secondo la definizione Taylor, P è uguale all'insieme
degli x tali che x è cosa linguistica breve (J1) e x è cosa linguistica
divulgata ( E1). C'è anche un altro modo per rappresentare
quest'ultima definizione, e conviene adottarlo perché riuscirà
particolarmente utile nel seguito. Utilizzando l'operazione detta grande
intersezione (o intersezione transfinita), indicata con n e applicabile
alle famiglie d'insiemi o qualità, possiamo scrivere:
Df TAY: P = n fG
La grande intersezione, infatti, associa ad una famiglia di qualità l'insieme costituito
da tutti gli oggetti che godono di tutte le qualità che costituiscono la famiglia. Nel
nostro caso, poiché si ha che:
fG (TAY) = fJE (TAY) = {J1, E1}
ne consegue che:
n fG (TAY) = [x|J1x A E1X]
e cioè si ha esattamente la definizione di P che s'è vista più sopra.
Anche se la precisazione può apparire per il momento superflua, è tuttavia opportuno
notare subito che in luogo di: