Model matematyczny

$$f:\overset{o}{A} \overset{1-1}{\rightarrow}(\overset{o}{X}\cup \overset{o}{R})$$

gdzie:

\(\overset{o}{A}\)- zbiór nazw cech i związków, \(L_c\) - liczba cech w modelu, \(L_r\) - liczba relacji w modelu,

\(\overset{o}{X}\) - zbiór cech w którym każda z cech jest opisana w postaci dwójki uporządkowanej \(<x_i,X_i>\)  (element \(x_i\) - określa symbol zmiennej \(i\), element \(X_i\) - określa zbiór wartości jakie zmienna \(i\) może przyjmować)

$$\overset{o}{X}=\left \{<x_1,X_1>,<x_2,X_2>,\cdots , <x_{L_c},X_{L_c}> \right \}$$

\(\overset{o}{R}\) - zbiór relacji w którym, każda relacja opisana jest w postaci trójki uporządkowanej \(<r_i,Y_i,R_i>\) (element \(r_i\) - określa symbol relacji \(i\), element \(Y_i\) - określa zbiór uporządkowany, listę cech występujących w \(i\)-tej relacji, element \(R_i\) - określa zbiór wartości spełniających relacje \(i\) )

$$\overset{o}{R}=\left \{<r_1,Y_1,R_1>,<r_2,Y_2,R_2>,\cdots , <r_{L_r},Y_{L_r},R_{L_r}> \right \}$$