Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

sekvenční funkce (SequenceFunction)

The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s jedinou hodnotou  
is subclass of
  funkce  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
is subclass of
  unární funkce  
is subclass of
  prostá funkce na  
is subclass of
  sekvenční funkce  

Axiomy (1)

Jestliže seq je instancí třídy sekvenční funkce a range of seq je an instance of class, potom class je podtřídou celé číslo. 
(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))