En familj kan inom matematiken användas antingen i en speciell betydelse som en uppsättning av element med index, eller allmännare som synonym till mängd. I det senare fallet avses ofta en mängd vars element själva är mängder. I den här artikeln behandlas främst den specifika betydelsen.

Familjer generaliserar par, trippler och andra "tupler", samt följder.

1. Familjen (2ⁿ)_n∈Z består av alla heltalspotenser av talet 2, alltså av 1, 2, 4, 8, o. s. v., men också av 1/2, 1/4 o. s. v.
2. Trippeln (5, -8, 5) kan ses som en familj över indexmängden {1, 2, 3}, där indexet markeras implicit med positionen. Formellt kan alltså trippeln skrivas som (a_i)_i∈{1,2,3} med a₁ = a₃ = 5 och a₂ = -8.
3. Den aritmetiska talföljden 3, 7, 11, 15, 19, 23,... kan uppfattas som en familj antingen med indexmängd N eller med bara Z⁺ (de positiva heltalen) som indexmängd, alltså antingen som (4n+3)_n∈N eller som (4n-1)_n∈Z⁺.

Formellt kan en familj (a_i)_i∈I definieras som en funktion med indexmängden I som definitionsmängd. För varje i som tillhör I ses då a_i som funktionsvärdet av i. Till skillnad från vad som brukar gälla för funktioner är man dock inte intresserad av denna funktions målmängd. Två familjer (a_i)_i∈I och (b_i)_i∈I över samma indexmängd I är lika om och endast om a_i = b_i för varje i i I. Om det inte finns någon risk för flertydighet, så skriver man ofta (a_i)_I i stället för (a_i)_i∈I .

Man använder ofta mängdbeteckningar i samband med familjer. Exempelvis säges a_i vara ett element i eller tillhöra familjen ovan. Till skillnad från vanliga mängder kan dock samma element tillhöra en familj "flera gånger", eftersom ibland a_i = a_j trots att i${\displaystyle \,\neq }$j. Ett specialfall är när alla a_i är lika, alltså funktionen är en konstantfunktion, säg med det konstanta värdet c. I detta fall kan familjen kort betecknas (c)_I.

Ett annat specialfal är när indexmängden I = {1, 2, 3,..., n} för något positivt heltal n. I detta fall använder man oftast "tipelnotation", och skriver familjen (a_i)_i∈I som (a₁, a₂,..., a_n) Man kan också beteckna den ${\displaystyle (a_{i})_{i=1}^{n}}$, och mer allmänt kan (a_i)_{i∈{m,m+1,m+2,...,n}} också skrivas som ${\displaystyle (a_{i})_{i=m}^{n}}$. Dessa beteckningar är dock ovanligare.

En familj (b_i)_i∈J är en delfamilj till familjen (a_i)_i∈I, om J är en delmängd av I och dessutom b_i = a_i för varje i i J. Exempelvis kan delföljder uppfattas som delfamiljer; delföljden

a₁, a₃, a₅, a₇, a₉, a₁₁, a₁₃,...

av följden

a₀, a₁, a₂, a₃, a₄, a₅, a₆,...

ges väsentligen av att man inskränker indexmängden från N till mängden av udda naturliga tal.

Många operatorer på element till vissa typer av familjer ger upphov till operationer på familjer. Detta kan bland annat göras genom komponentvisa operationer eller itererade operationer. Det finns också operationer som på ett väsentligare sätt samspelar med indexmängden, som cartesiska produkter och vissa typer av limes.

Låt A = (a_i)_I och B = (b_i)_I vara två familjer över samma indexmängd I. Om en viss binär operator o är definierad för a_i och b_i för varje index i i I, så kan man definiera en familj A o B över I genom

A o B = (a_iob_i)_I .

Man låter alltså operatorn o verka på varje komponent för sig. Om till exempel alla a_i och b_i är reella tal, så kan man låta operatorn vara något av räknesätten addition, multiplikation och subtraktion. Detta ger familjerna (a_i+b_i)_I , (a_ib_i)_I respektive (a_i-b_i)_I .

Det finns flera varianter av komponentvisa operationer. Om exempelvis för familjerna A och B som ovan i stället för varje i ∈ I både a_i och b_i ligger i en grupp G_i med gruppoperationen o_i, så kan man sätta

A o B = (a_i o_i b_i)_I .

Även andra typer av operatorer kan utnyttjas, som skalär trippelprodukt eller multiplikation av skalär och vektor.

I en del fall kan man utföra en operation som kombinerar samtliga element till ett enda element av samma typ som de ursprungliga. Om exempelvis S = (M_i)__I är en familj av mängder, så kan man bilda unionen av samtliga M_i:

${\displaystyle \cup S=\bigcup _{I}M_{i}=\bigcup _{i\in I}M_{i}=\{x:x{\hbox{ ligger i minst ett }}M_{i}\}\,.}$

På liknande sätt kan man bilda skärningsmängden:

${\displaystyle \cap S=\bigcap _{I}M_{i}=\bigcap _{i\in I}M_{i}=\{x:x{\hbox{ ligger i samtliga }}M_{i}\}\,.}$

Skulle dessutom här till exempel I = {m,m+1,...,n}, så kan också beteckningarna ${\displaystyle \bigcup _{i=m}^{n}M_{i}}$ respektive ${\displaystyle \bigcap _{i=m}^{n}M_{i}}$ användas.

Ett annat exempel är den generaliserade summan av alla element i en familj (a_i)_I av icke-negativa reella tal, ${\displaystyle \sum _{i\in I}a_{i}\,}$, som kan definieras som supremum av alla delsummor över ändliga delmängder av I, om detta supremum existerar, och annars som ${\displaystyle +\infty }$.

Om (M_i)_I är en familj av mängder, så definieras deras cartesiska produkten som mängden av alla familjer (x_i)_I, sådana att x_i ∈ M_i för varje i i I.

Familj eller det motsvarande engelska ordet family används ibland även i andra betydelser. Walter Rudin anger exempelvis att han använder ordet som en av flera synonymer till (det engelska ordet för) mängd^[1]. (Skillnaden mellan betydelserna är egentligen inte särskilt stor, eftersom varje mängd M formellt sett medelst identitetsavbildningen på mängden svarar mot en familj i den specifikare betydelsen, med sig själv som indexmängd. Mot M svarar alltså familjen (x)_x∈M.)

Ofta betraktar man då en familj av delmängder till en mängd ${\displaystyle A}$, vilket är en mängd vars element är delmängder av ${\displaystyle A}$. Generellt är en familj av mängder en klass vars element är mängder.

• ${\displaystyle M=\{\{1,2\},\{2,3\},\{3,4\}\}}$ är en familj av delmängder av ${\displaystyle A=\{1,2,3,4\}}$.
• Potensmängden ${\displaystyle P(A)}$ av en mängd ${\displaystyle A}$ är en familj av delmängder av ${\displaystyle A}$. Varje familj av delmängder av en mängd är själv en delmängd till potensmängden för denna mängd.
• En topologi på en mängd X bestäms av familjen av öppna delmängder till X.
• En hypergraf är en mängd ${\displaystyle V}$ av hörn, tillsammans med en familj av delmängder till ${\displaystyle V}$, kanterna.