Uogólnienie klasy pojęciowej

Uogólnienie klasy pojęciowej – formalizacja rodzaju uogólniania matematycznego wprowadzona przez Tockiego.

Definicja

Klasa pojęciowa to układ $⟨K,U,\mathrm{\Phi },t⟩,$ gdzie $K$ jest niepustym zbiorem, $\mathrm{\Phi }$ jest warunkiem wyróżniającym zbiór $K$ z pewnego obszerniejszego zbioru $U,$ a $t$ jest terminem przyporządkowanym elementom zbioru $K$.

Uogólnieniem klasy pojęciowej $⟨K,U,\mathrm{\Phi },t⟩$ nazywa się taką klasę pojęciową $⟨K^{\prime },U^{\prime },\mathrm{\Psi },n⟩,$ dla której $K\subset K^{\prime },$ $U\subset U^{\prime }$.

Przykład

Uogólnieniem klasy pojęciowej kwadratów w zbiorze równoległoboków jest klasa wszystkich rombów.

• $U=U^{\prime }$ – zbiór równoległoboków
• $\mathrm{\Phi }$ – warunek „równoległobok $x$ ma równe i prostopadłe przekątne”
• $t$ – termin „kwadrat”
• $\mathrm{\Psi }$ – warunek „równoległobok $x$ ma prostopadłe przekątne”
• $n$ – termin „romb”.

Zobacz też

• uogólnianie matematyczne