− | If ''L'' is a prefunction ''p'' : ''S'' <math>\rightharpoonup</math> ''T'' that happens to be total at ''S'', then ''L'' is called a ''function'' from ''S'' to ''T'', indicated by writing ''L'' = ''f'' : ''S'' → ''T''. To say that a relation ''L'' ⊆ ''S'' × ''T'' is ''totally tubular'' at ''S'' is to say that it is 1-regular at ''S''. Thus, we may formalize the following definition: | + | If ''L'' is a prefunction ''p'' : ''S'' <math>\rightharpoonup</math> ''T'' that happens to be total at ''S'', then ''L'' is called a ''function'' from ''S'' to ''T'', indicated by writing ''L'' = ''f'' : ''S'' → ''T''. To say that a relation ''L'' ⊆ ''S'' × ''T'' is ''totally tubular'' at ''S'' is to say that it is 1-regular at ''S''. Thus, we may formalize the following definition: |
− | In the case of a function ''f'' : ''S'' → ''T'', one has the following additional definitions: | + | In the case of a function ''f'' : ''S'' → ''T'', one has the following additional definitions: |