39585

SUPOZYCJA PROSTA - konkretny obiekt.

SUPOZYCJA FORMALNA - zbiór, kategoria.

SUPOZYCJA MATERIALNA - wyraz, słowo, część nazwy; „znaczy tyle samo co”, „oznacza", „denotnje”, „nazywamy” itp.

Fnnktor definicyjny „oznacza” narzuca definiendum supozycję materialną, a definiens zwykłą. Funktor definicyjny „denotnje” albo „nazywamy” narzuca definiens supozycję formalną.

DEFINICJA RÓWNOŚCIOWA - występuje w niej funktor definicyjny, definiendum i definiens. DEFINICJA WYRAŹNA - definicja równościowa, w której definiendum pokiywa się z wyrazem definiowanym.

DEFINICJA KONTEKSTOWA - definicja równościowa, w której definiendum zawiera oprócz wyrazu definiowanego wyrazy niedefiniowane.

DEFINICJA UWIKŁANA - nie zawiera funktora definicyjnego.

DEFINICJA ABSTRAKCYJNA - zbudowana wg schematu: Cx=Cy = xRy.