# Notation for partial function set.

There is a standard notation for the set of all functions between $S$ and $T$, namely $T^S$. Is there a similar notation for the set of all partial functions between $S$ and $T$?

• Not that I know of. – Asaf Karagila Apr 6 '14 at 20:15
• In some sense, $(T + 1)^S$. – Zhen Lin Apr 6 '14 at 20:19
• @AsafKaragila Wow. By itself, this is a very useless comment, but it probably carries some weight because you know a lot of mathematics and are into logic and set theory. – k.stm Apr 6 '14 at 20:20
• @Student There is a natural bijection between $(T + 1)^S$ and the set of partial functions $S \rightharpoonup T$. Or you can just count. – Zhen Lin Apr 6 '14 at 20:35
• Take a partial function and turn it into a total function by sending elements outside the domain to the new element. – Zhen Lin Apr 7 '14 at 7:54

## 2 Answers

I wouldn't call this "standard", but I like this notation for the set of all partial maps from $$X$$ to $$Y$$, from Davey and Priestley's Introduction to Lattices and Order:

$$(X \multimap \mspace{-2mu} \to Y)$$

In LaTeX:

(X \multimap \mspace{-2mu} \to Y)


Update (2018-09-25): I've decided that I don't like the above notation after all. May I suggest $$Y^{\subseteq X}$$ for the set of all partial functions? This nicely complements $$Y^X$$ and $$Y^{(X)}$$ (the set of all finitely supported functions). Also, from Duistermaat and Kolk's Multidimensional Real Analysis I: $$f : X \supset\!\to Y$$ means $$f$$ is a partial function from $$X$$ to $$Y$$ (actually, the authors use this to denote a total function from some subset of $$X$$ into $$Y$$, when they don't want to explicitly specify the domain). I like this because the "$$\supset$$" part of the symbol suggests that $$X$$ is a superset of something.

Z-notation uses this: ⇸ (\char"21F8 in latex)