Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!
New! Don't lose this page! » Create account

In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands the function or operation accepts. [1]

78 relations: ?:, Absolute value, Addition, Arbitrary-precision arithmetic, Argument of a function, Assembly language, Binary number, Binary operation, Binary relation, C (programming language), C Sharp (programming language), C++, Cardinality, Cartesian product, Charles Sanders Peirce, Complex conjugate, Computer programming, Computer science, Conditional operator, Constant (mathematics), Currying, Dc (computer program), Distributive number, Domain of a function, Exclusive or, Factorial, Finitary relation, Floor and ceiling functions, Forth (programming language), Fractional part, Function (mathematics), Functional programming, Global variable, Greek language, Hexadecimal, Higher-order function, Java (programming language), Lambda calculus, Latin, Linguistics, List of chess variants, Logic, Mathematics, Michiel Hazewinkel, Millenary Petition, ML (programming language), Multilinear map, Multiplication operator, Multiplicative inverse, N-ary code, ..., N-ary group, Negation, Norm (mathematics), Numeral system, Object composition, Operand, Operation (mathematics), Operator (computer programming), Parameter, Perl, Plural quantification, Predicate (mathematical logic), Product topology, Python (programming language), Reference (computer science), Side effect (computer science), Sign (mathematics), Signature (logic), Subroutine, Syntax (programming languages), Ternary operation, Ternary relation, Tuple, Two's complement, Unary operation, Valency (linguistics), Variadic function, Willard Van Orman Quine. Expand index (28 more) »


In computer programming, ?: is a ternary operator that is part of the syntax for a basic conditional expression in several programming languages.

New!!: Arity and ?: · See more »

Absolute value

In mathematics, the absolute value (or modulus) of a real number is the non-negative value of without regard to its sign.

New!!: Arity and Absolute value · See more »


Addition (often signified by the plus symbol "+") is one of the four elementary, mathematical operations of arithmetic, with the others being subtraction, multiplication and division.

New!!: Arity and Addition · See more »

Arbitrary-precision arithmetic

In computer science, arbitrary-precision arithmetic, also called bignum arithmetic, multiple precision arithmetic, or sometimes infinite-precision arithmetic, indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system.

New!!: Arity and Arbitrary-precision arithmetic · See more »

Argument of a function

In mathematics, an argument of a function is a specific input in the function, also known as an independent variable.

New!!: Arity and Argument of a function · See more »

Assembly language

An assembly language (or assembler language) is a low-level programming language for a computer, or other programmable device, in which there is a very strong (generally one-to-one) correspondence between the language and the architecture's machine code instructions.

New!!: Arity and Assembly language · See more »

Binary number

In mathematics and digital electronics, a binary number is a number expressed in the binary numeral system, or base-2 numeral system, which represents numeric values using two different symbols: typically 0 (zero) and 1 (one).

New!!: Arity and Binary number · See more »

Binary operation

In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set (more formally, an operation whose arity is two, and whose two domains and one codomain are (subsets of) the same set).

New!!: Arity and Binary operation · See more »

Binary relation

In mathematics, a binary relation on a set A is a collection of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Arity and Binary relation · See more »

C (programming language)

C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

New!!: Arity and C (programming language) · See more »

C Sharp (programming language)

C#By convention, a number sign is used for the second character in normal text; in artistic representations, sometimes a true sharp sign is used: C♯.

New!!: Arity and C Sharp (programming language) · See more »


C++ (pronounced as cee plus plus) is a general-purpose programming language.

New!!: Arity and C++ · See more »


In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Arity and Cardinality · See more »

Cartesian product

In mathematics, a Cartesian product is a mathematical operation which returns a set (or product set or simply product) from multiple sets.

New!!: Arity and Cartesian product · See more »

Charles Sanders Peirce

Charles Sanders Peirce (like "purse", September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".

New!!: Arity and Charles Sanders Peirce · See more »

Complex conjugate

In mathematics, the complex conjugate of a complex number is the number with equal real part and imaginary part equal in magnitude but opposite in sign.

New!!: Arity and Complex conjugate · See more »

Computer programming

Computer programming (often shortened to programming) is a process that leads from an original formulation of a computing problem to executable computer programs.

New!!: Arity and Computer programming · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations Computer science is the scientific and practical approach to computation and its applications.

New!!: Arity and Computer science · See more »

Conditional operator

A conditional operator is a type of operator.

New!!: Arity and Conditional operator · See more »

Constant (mathematics)

In mathematics, the adjective constant means non-varying.

New!!: Arity and Constant (mathematics) · See more »


In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple of arguments) into evaluating a sequence of functions, each with a single argument (partial application).

New!!: Arity and Currying · See more »

Dc (computer program)

dc is a cross-platform reverse-polish desk calculator which supports arbitrary-precision arithmetic.

New!!: Arity and Dc (computer program) · See more »

Distributive number

In linguistics, more precisely in traditional grammar, a distributive number is a word that answers "how many times each?" or "how many at a time?", such as singly or doubly.

New!!: Arity and Distributive number · See more »

Domain of a function

In mathematics, and more specifically in naive set theory, the domain of definition (or simply the domain) of a function is the set of "input" or argument values for which the function is defined.

New!!: Arity and Domain of a function · See more »

Exclusive or

Exclusive disjunction or exclusive or is a logical operation that outputs true only when both inputs differ (one is true, the other is false).

New!!: Arity and Exclusive or · See more »


In mathematics, the factorial of a non-negative integer n, denoted by n!, is the product of all positive integers less than or equal to n. For example, The value of 0! is 1, according to the convention for an empty product.

New!!: Arity and Factorial · See more »

Finitary relation

In mathematics, a finitary relation has a finite number of "places".

New!!: Arity and Finitary relation · See more »

Floor and ceiling functions

In mathematics and computer science, the floor and ceiling functions map a real number to the largest previous or the smallest following integer, respectively.

New!!: Arity and Floor and ceiling functions · See more »

Forth (programming language)

Forth is an imperative stack-based computer programming language and programming environment.

New!!: Arity and Forth (programming language) · See more »

Fractional part

The fractional part of a non‐negative real number x is the excess beyond that number integer part: \operatorname (x).

New!!: Arity and Fractional part · See more »

Function (mathematics)

In mathematics, a function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output.

New!!: Arity and Function (mathematics) · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: Arity and Functional programming · See more »

Global variable

In computer programming, a global variable is a variable with global scope, meaning that it is visible (hence accessible) throughout the program, unless shadowed.

New!!: Arity and Global variable · See more »

Greek language

Greek or Hellenic (Modern Greek: ελληνικά, elliniká, "Greek", ελληνική γλώσσα, ellinikí glóssa, "Greek language") is an independent branch of the Indo-European family of languages, native to the southern Balkans, the Aegean Islands, western Asia Minor, parts of northern and Eastern Anatolia and the South Caucasus, southern Italy, Albania and Cyprus.

New!!: Arity and Greek language · See more »


In mathematics and computing, hexadecimal (also base, or hex) is a positional numeral system with a radix, or base, of 16.

New!!: Arity and Hexadecimal · See more »

Higher-order function

In mathematics and computer science, a higher-order function (also functional, functional form or functor; not to be confused with the functor concept in category theory) is a function that does at least one of the following.

New!!: Arity and Higher-order function · See more »

Java (programming language)

Java is a general-purpose computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.

New!!: Arity and Java (programming language) · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: Arity and Lambda calculus · See more »


Latin (Latin: lingua latīna) is a classical language belonging to the Italic branch of the Indo-European languages.

New!!: Arity and Latin · See more »


Linguistics is the scientific study of language.

New!!: Arity and Linguistics · See more »

List of chess variants

A chess variant (or unorthodox chess) is a game "related to, derived from or inspired by chess".

New!!: Arity and List of chess variants · See more »


Logic (from the λογική, logike) is the branch of philosophy concerned with the use and study of valid reasoning.

New!!: Arity and Logic · See more »


Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change.

New!!: Arity and Mathematics · See more »

Michiel Hazewinkel

Michiel Hazewinkel (born June 22, 1943) is a Dutch mathematician, and Emeritus Professor of Mathematics at the Centre for Mathematics and Computer and the University of Amsterdam, particularly known for his 1978 book Formal groups and applications and as editor of the Encyclopedia of Mathematics.

New!!: Arity and Michiel Hazewinkel · See more »

Millenary Petition

The Millenary Petition was a list of requests given to James I by Puritans in 1603 when he was travelling to London in order to claim the English throne.

New!!: Arity and Millenary Petition · See more »

ML (programming language)

ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.

New!!: Arity and ML (programming language) · See more »

Multilinear map

In linear algebra, a multilinear map is a function of several variables that is linear separately in each variable.

New!!: Arity and Multilinear map · See more »

Multiplication operator

In operator theory, a multiplication operator is an operator T defined on some vector space of functions and whose value at a function φ is given by multiplication by a fixed function f. That is, for all φ in the function space and all x in the domain of φ (which is the same as the domain of f).

New!!: Arity and Multiplication operator · See more »

Multiplicative inverse

In mathematics, a multiplicative inverse or reciprocal for a number x, denoted by 1/x or x−1, is a number which when multiplied by x yields the multiplicative identity, 1.

New!!: Arity and Multiplicative inverse · See more »

N-ary code

In telecommunication, a n-ary code is a code that has n significant conditions, where n is a positive integer greater than 1.

New!!: Arity and N-ary code · See more »

N-ary group

In mathematics, and in particular universal algebra, the concept of n-ary group (also called n-group or multiary group) is a generalization of the concept of group to a set G with an ''n''-ary operation instead of a binary operation.

New!!: Arity and N-ary group · See more »


In logic, negation, also called logical complement, is an operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false and false when p is true.

New!!: Arity and Negation · See more »

Norm (mathematics)

In linear algebra, functional analysis, and related areas of mathematics, a norm is a function that assigns a strictly positive length or size to each vector in a vector space—save for the zero vector, which is assigned a length of zero.

New!!: Arity and Norm (mathematics) · See more »

Numeral system

A numeral system (or system of numeration) is a writing system for expressing numbers, that is, a mathematical notation for representing numbers of a given set, using digits or other symbols in a consistent manner.

New!!: Arity and Numeral system · See more »

Object composition

In computer science, object composition (not to be confused with function composition) is a way to combine simple objects or data types into more complex ones.

New!!: Arity and Object composition · See more »


In mathematics, an operand is the object of a mathematical operation, a quantity on which an operation is performed.

New!!: Arity and Operand · See more »

Operation (mathematics)

The general operation as explained on this page should not be confused with the more specific operators on vector spaces.

New!!: Arity and Operation (mathematics) · See more »

Operator (computer programming)

Programming languages typically support a set of operators: constructs which behave generally like functions, but which differ syntactically or semantically from usual functions.

New!!: Arity and Operator (computer programming) · See more »


A parameter (from the Ancient Greek παρά, "para", meaning "beside, subsidiary" and μέτρον, "metron", meaning "measure"), in its common meaning, is a characteristic, feature, or measurable factor that can help in defining a particular system.

New!!: Arity and Parameter · See more »


Perl is a family of high-level, general-purpose, interpreted, dynamic programming languages.

New!!: Arity and Perl · See more »

Plural quantification

In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values.

New!!: Arity and Plural quantification · See more »

Predicate (mathematical logic)

In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.

New!!: Arity and Predicate (mathematical logic) · See more »

Product topology

In topology and related areas of mathematics, a product space is the cartesian product of a family of topological spaces equipped with a natural topology called the product topology.

New!!: Arity and Product topology · See more »

Python (programming language)

Python is a widely used general-purpose, high-level programming language.

New!!: Arity and Python (programming language) · See more »

Reference (computer science)

In computer science, a reference is a value that enables a program to indirectly access a particular datum, such as a variable or a record, in the computer's memory or in some other storage device.

New!!: Arity and Reference (computer science) · See more »

Side effect (computer science)

In computer science, a function or expression is said to have a side effect if it modifies some state or has an observable interaction with calling functions or the outside world.

New!!: Arity and Side effect (computer science) · See more »

Sign (mathematics)

In mathematics, the concept of sign originates from the property of every non-zero real number to be positive or negative.

New!!: Arity and Sign (mathematics) · See more »

Signature (logic)

In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language.

New!!: Arity and Signature (logic) · See more »


In computer programming, a subroutine is a sequence of program instructions that perform a specific task, packaged as a unit.

New!!: Arity and Subroutine · See more »

Syntax (programming languages)

In computer science, the syntax of a computer language is the set of rules that defines the combinations of symbols that are considered to be a correctly structured document or fragment in that language.

New!!: Arity and Syntax (programming languages) · See more »

Ternary operation

In mathematics, a ternary operation is an ''n''-ary operation with n.

New!!: Arity and Ternary operation · See more »

Ternary relation

In mathematics, a ternary relation or triadic relation is a finitary relation in which the number of places in the relation is three.

New!!: Arity and Ternary relation · See more »


A tuple is a finite ordered list of elements.

New!!: Arity and Tuple · See more »

Two's complement

Two's complement is a mathematical operation on binary numbers, as well as a binary signed number representation based on this operation.

New!!: Arity and Two's complement · See more »

Unary operation

In mathematics, a unary operation is an operation with only one operand, i.e. a single input.

New!!: Arity and Unary operation · See more »

Valency (linguistics)

In linguistics, verb valency or valence refers to the number of arguments controlled by a verbal predicate.

New!!: Arity and Valency (linguistics) · See more »

Variadic function

In computer programming, a variadic function is a function of indefinite arity, i.e., one which accepts a variable number of arguments.

New!!: Arity and Variadic function · See more »

Willard Van Orman Quine

Willard Van Orman Quine (June 25, 1908 – December 25, 2000) (known to intimates as "Van") was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.

New!!: Arity and Willard Van Orman Quine · See more »

Redirects here:

0-ary function, Adicity, Arities, Monadic (arity), N-ary, N-ary function, Nullary, Nullary function, Nullary operation.


[1] https://en.wikipedia.org/wiki/Arity

Hey! We are on Facebook now! »