System w którym nie występują informacje puste

Uporządkowaną czwórkę <X, A, V, ρ>, gdzie X - skończony zbiór obiektów, A - skończony zbiór atrybutów, V - skończony zbiór wartości atrybutów, ρ - funkcja informacji.

Parę atrybut-wartość