12,080
edits
Changes
unicode → html
Line 167:
Line 167:
|}
|}
−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:
{| cellpadding="4"
{| cellpadding="4"
Line 173:
Line 173:
| ''L''
| ''L''
| =
| =
−| ''f'' : ''S'' → ''T''
+| ''f'' : ''S'' → ''T''
| if and only if
| if and only if
| ''L''
| ''L''
Line 181:
Line 181:
|}
|}
−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:
{| cellpadding="4"
{| cellpadding="4"