⟦X→Y⟧ definition

Definition: ⟦X→Y⟧

If [math]X [/math] and [math]Y [/math] are sets, then [math]⟦X→Y⟧ [/math] denotes the set of all functions with domain [math]X [/math] and codomain [math]Y [/math].

Note: I usually use the notation [X → Y], but it interferes with the wiki formatting, so I will use [math]\href{/cs2800/wiki/index.php/%E2%9F%A6X%E2%86%92Y%E2%9F%A7}{⟦X→Y⟧} [/math] in the wiki. You may use either notation.