390:
22:
249:
181:
186:
309:
169:
32:
431:
244:{\displaystyle {\begin{aligned}\operatorname {succ} :\quad &\mathbb {N} \rightarrow \mathbb {N} \\&n\mapsto (n+1)\end{aligned}}}
450:
90:
47:
62:
455:
69:
465:
460:
276:
76:
259:
424:
319:
263:
154:
58:
120:
255:
136:
331:
315:
417:
148:
358:
83:
363:
353:
348:
401:
327:
172:
128:
444:
397:
112:
21:
375:
323:
389:
139:. In contrast, a unary function's domain need not coincide with its range.
132:
39:
343:
124:
15:
405:
171:, is a unary operator. Its domain and codomain are the
43:
279:
184:
157:
131:
belongs to a subset of unary functions, in that its
270:
266:
303:
243:
163:
425:
8:
48:introducing citations to additional sources
304:{\displaystyle n:=\operatorname {succ} (n)}
432:
418:
273:is equivalent to executing the assignment
278:
262:, executing this operation is denoted by
207:
206:
199:
198:
185:
183:
156:
38:Relevant discussion may be found on the
164:{\displaystyle \operatorname {succ} }
7:
386:
384:
330:to a particular power or base, and
318:are unary functions, including the
376:Foundations of Genetic Programming
14:
388:
269:to the operand, i.e. the use of
175:; its definition is as follows:
31:relies largely or entirely on a
20:
195:
298:
292:
234:
222:
219:
203:
1:
404:. You can help Knowledge by
482:
383:
326:with a specified base,
320:trigonometric functions
451:Functions and mappings
400:-related article is a
305:
245:
165:
306:
256:programming languages
246:
166:
332:hyperbolic functions
316:elementary functions
277:
182:
155:
44:improve this article
135:coincides with its
456:Types of functions
301:
241:
239:
161:
149:successor function
466:Mathematics stubs
413:
412:
359:Ternary operation
109:
108:
94:
473:
461:Unary operations
434:
427:
420:
392:
385:
310:
308:
307:
302:
272:
268:
250:
248:
247:
242:
240:
214:
210:
202:
170:
168:
167:
162:
104:
101:
95:
93:
59:"Unary function"
52:
24:
16:
481:
480:
476:
475:
474:
472:
471:
470:
441:
440:
439:
438:
381:
372:
364:Unary operation
354:Binary operator
349:Binary function
340:
275:
274:
238:
237:
212:
211:
196:
180:
179:
173:natural numbers
153:
152:
145:
123:that takes one
105:
99:
96:
53:
51:
37:
25:
12:
11:
5:
479:
477:
469:
468:
463:
458:
453:
443:
442:
437:
436:
429:
422:
414:
411:
410:
393:
379:
378:
371:
368:
367:
366:
361:
356:
351:
346:
339:
336:
328:exponentiation
300:
297:
294:
291:
288:
285:
282:
252:
251:
236:
233:
230:
227:
224:
221:
218:
215:
213:
209:
205:
201:
197:
194:
191:
188:
187:
160:
144:
141:
129:unary operator
117:unary function
107:
106:
42:. Please help
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
478:
467:
464:
462:
459:
457:
454:
452:
449:
448:
446:
435:
430:
428:
423:
421:
416:
415:
409:
407:
403:
399:
394:
391:
387:
382:
377:
374:
373:
369:
365:
362:
360:
357:
355:
352:
350:
347:
345:
342:
341:
337:
335:
333:
329:
325:
321:
317:
312:
295:
289:
286:
283:
280:
265:
261:
257:
231:
228:
225:
216:
192:
189:
178:
177:
176:
174:
158:
150:
142:
140:
138:
134:
130:
126:
122:
118:
114:
103:
92:
89:
85:
82:
78:
75:
71:
68:
64:
61: –
60:
56:
55:Find sources:
49:
45:
41:
35:
34:
33:single source
29:This article
27:
23:
18:
17:
406:expanding it
395:
380:
314:Many of the
313:
253:
146:
116:
110:
97:
87:
80:
73:
66:
54:
30:
398:mathematics
113:mathematics
445:Categories
370:References
264:postfixing
151:, denoted
70:newspapers
324:logarithm
290:
220:↦
204:→
40:talk page
338:See also
258:such as
254:In some
143:Examples
133:codomain
125:argument
121:function
100:May 2024
84:scholar
137:domain
86:
79:
72:
65:
57:
396:This
344:Arity
119:is a
91:JSTOR
77:books
402:stub
287:succ
190:succ
159:succ
147:The
127:. A
115:, a
63:news
271:n++
111:In
46:by
447::
334:.
322:,
311:.
284::=
267:++
433:e
426:t
419:v
408:.
299:)
296:n
293:(
281:n
260:C
235:)
232:1
229:+
226:n
223:(
217:n
208:N
200:N
193::
102:)
98:(
88:·
81:·
74:·
67:·
50:.
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.