Partizione di un insieme (=def)
una famigli di sottoinsiemi:
Il corrispondente matematico della classificazione-specificazione lo possiamo vedere nella specificazione di un sottoinsieme tramite l'assioma di specificazione.
22/1/91
Cerchiamo di definire cosa e' una partizione col linguaggio-schema insiemistico.
Una partizione e' un insieme (famiglia, collezione) di insiemi, sottoinsiemi di
un universo, soddisfacenti 2 proprieta'