fa'au

valsi

fa'au

type

experimental cmavo

creator

krtisfranks

time entered

Mon Aug 4 20:23:04 2014  

English

Definition #57187 - Preferred

 

selma'o

VUhU

definition

mathematical unary operator: map notation

notes

Input is unary: a function f; the output is an ordered tuple: (the domain set of f, the codomain set of f, the image of f, the mapping rule of f (defined with a dummy variable which is taken to belong to the the domain set of f), the graph/plot (set of input-output pairs) of f). Might be useful for lambda calculus, etc. Equip the output with ma'o in order to use as a/the function. Extract a term in the tuple in order to use it directly.

gloss words

• anonymous function ; function map notation
• function map notation
• map notation ; function

created by

krtisfranks

vote information

1

time

Mon Aug 4 20:23:04 2014

Examples

---