OPERAZIONE E CLASSE

Unoperazione una regola che viene applicata ad un argomento e

produce un risultato. Una classe una collezione di oggetti
completamente degli elementi che ad essa appartengono. Unoperazione
f pu essere definita su pi argomenti. Nel caso in cui unoperazione sia
su k argomenti appartententi ad una classe A, si dice k-aria k-argomentale
o di ariet k sulla classe A. se f definita per ogni k appartente ad A, si
dice totale sulla classe A o sempre definita. Se f totale su A e se,
applicando f ad argomenti di A, si ottiene sempre un risultato appartente
ad A, si definisce chiusa in A.
TIPOLOGIE DI RELAZIONI BINARIE

Data una relazione binaria totale su una classe A, essa detta:
Simmetrica: sposato con
Asimmetrica: () padre di
Antisimmetrica: disuguaglianza
in senso largo
Transitiva: divide, parellela a
Intransitiva: ()
perpendicolare a
Riflessiva: identit (unica valida su qualsiasi
insieme)
Antiriflessiva: () fratello di
Ordinamento stretto: antiriflessiva e transitiva
Preordine quasi ordine: riflessiva e transitiva
Equivalenza: preordine e simmetrica
Ordinamento: preordine e antisimmetrica
Lineare totale:
Connessa:
Un sottoinsieme di A che contiene tutti e i soli elementi equivalenti ad un
certo x appartamente ad A, prende il nome di classe di equivalenza e si
indica con [a]
ORDINAMENTI