35 relations: Array data type, Cartesian product, Category theory, Coproduct, Diagram (category theory), Directed set, Disjoint union, Domain of a function, Element (mathematics), Family of sets, Function (mathematics), Functor, If and only if, Image (mathematics), Index notation, Injective function, Integer, Intersection (set theory), Linear independence, Mathematical Society of Japan, Mathematics, Matrix (mathematics), Morphism, Multiset, Natural number, Net (mathematics), Ordered pair, Parametric family, Real number, Sequence, Set (mathematics), Surjective function, Tagged union, Tuple, Union (set theory).
Array data type
Language support for array types may include certain built-in array data types, some syntactic constructions (array type constructors) that the programmer may use to define such types and declare array variables, and special notation for indexing array elements.
New!!: Indexed family and Array data type · See more »
Cartesian product
In set theory (and, usually, in other parts of mathematics), a Cartesian product is a mathematical operation that returns a set (or product set or simply product) from multiple sets.
New!!: Indexed family and Cartesian product · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Indexed family and Category theory · See more »
Coproduct
In category theory, the coproduct, or categorical sum, is a category-theoretic construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces.
New!!: Indexed family and Coproduct · See more »
Diagram (category theory)
In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory.
New!!: Indexed family and Diagram (category theory) · See more »
Directed set
In mathematics, a directed set (or a directed preorder or a filtered set) is a nonempty set A together with a reflexive and transitive binary relation ≤ (that is, a preorder), with the additional property that every pair of elements has an upper bound.
New!!: Indexed family and Directed set · See more »
Disjoint union
In set theory, the disjoint union (or discriminated union) of a family of sets is a modified union operation that indexes the elements according to which set they originated in.
New!!: Indexed family and Disjoint union · 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!!: Indexed family and Domain of a function · See more »
Element (mathematics)
In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set.
New!!: Indexed family and Element (mathematics) · See more »
Family of sets
In set theory and related branches of mathematics, a collection F of subsets of a given set S is called a family of subsets of S, or a family of sets over S. More generally, a collection of any sets whatsoever is called a family of sets.
New!!: Indexed family and Family of sets · See more »
Function (mathematics)
In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.
New!!: Indexed family and Function (mathematics) · See more »
Functor
In mathematics, a functor is a map between categories.
New!!: Indexed family and Functor · See more »
If and only if
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
New!!: Indexed family and If and only if · See more »
Image (mathematics)
In mathematics, an image is the subset of a function's codomain which is the output of the function from a subset of its domain.
New!!: Indexed family and Image (mathematics) · See more »
Index notation
In mathematics and computer programming, index notation is used to specify the elements of an array of numbers.
New!!: Indexed family and Index notation · See more »
Injective function
In mathematics, an injective function or injection or one-to-one function is a function that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain.
New!!: Indexed family and Injective function · See more »
Integer
An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").
New!!: Indexed family and Integer · See more »
Intersection (set theory)
In mathematics, the intersection A ∩ B of two sets A and B is the set that contains all elements of A that also belong to B (or equivalently, all elements of B that also belong to A), but no other elements.
New!!: Indexed family and Intersection (set theory) · See more »
Linear independence
In the theory of vector spaces, a set of vectors is said to be if one of the vectors in the set can be defined as a linear combination of the others; if no vector in the set can be written in this way, then the vectors are said to be.
New!!: Indexed family and Linear independence · See more »
Mathematical Society of Japan
The Mathematical Society of Japan (MSJ, 日本数学会) was the first academic society in Japan.
New!!: Indexed family and Mathematical Society of Japan · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Indexed family and Mathematics · See more »
Matrix (mathematics)
In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.
New!!: Indexed family and Matrix (mathematics) · See more »
Morphism
In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.
New!!: Indexed family and Morphism · See more »
Multiset
In mathematics, a multiset (aka bag or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements.
New!!: Indexed family and Multiset · See more »
Natural number
In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").
New!!: Indexed family and Natural number · See more »
Net (mathematics)
In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence.
New!!: Indexed family and Net (mathematics) · See more »
Ordered pair
In mathematics, an ordered pair (a, b) is a pair of objects.
New!!: Indexed family and Ordered pair · See more »
Parametric family
In mathematics and its applications, a parametric family or a parameterized family is a family of objects (a set of related objects) whose differences depend only on the chosen values for a set of parameters.
New!!: Indexed family and Parametric family · See more »
Real number
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
New!!: Indexed family and Real number · See more »
Sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed.
New!!: Indexed family and Sequence · See more »
Set (mathematics)
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
New!!: Indexed family and Set (mathematics) · See more »
Surjective function
In mathematics, a function f from a set X to a set Y is surjective (or onto), or a surjection, if for every element y in the codomain Y of f there is at least one element x in the domain X of f such that f(x).
New!!: Indexed family and Surjective function · See more »
Tagged union
In computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, or sum type, is a data structure used to hold a value that could take on several different, but fixed, types.
New!!: Indexed family and Tagged union · See more »
Tuple
In mathematics, a tuple is a finite ordered list (sequence) of elements.
New!!: Indexed family and Tuple · See more »
Union (set theory)
In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.
New!!: Indexed family and Union (set theory) · See more »
Redirects here:
Indexed families, Indexed family (mathematics), Indexed set.
References
[1] https://en.wikipedia.org/wiki/Indexed_family