Wikipedia, Entziklopedia askea
Matematikan ,
R
{\displaystyle R}
erlazio monadikoa edo batarra ,
A
{\displaystyle A}
multzo batean,
A
{\displaystyle A}
-ko
x
{\displaystyle x}
elementuen azpimultzoa da,
R
{\displaystyle R}
definitzen duen baldintza jakin bat betetzen dutenak:
R
=
{
x
:
x
∈
A
∧
R
(
x
)
=
e
g
i
a
z
k
o
a
}
{\displaystyle R=\{x:\;x\in A\;\land \;R(x)=egiazkoa\}}
Zenbaki arrunten multzoa
N
{\displaystyle \mathbb {N} }
emanda,
P
{\displaystyle P}
zenbaki bikoitien erlazio monadikoa definitzen dugu, hau da,
x
{\displaystyle x}
zenbaki arrunta barne
P
{\displaystyle P}
izango da,
x
{\displaystyle x}
bikoitia bada; honela adieraziko litzateke:
P
=
{
x
:
x
∈
N
∧
x
b
i
k
o
i
t
i
a
}
{\displaystyle P=\{x:\;x\in \mathbb {N} \;\land \;x\;bikoitia\}}
hau da, hots:
P
=
{
2
,
4
,
6
,
8
,
10
,
12
,
⋯
}
{\displaystyle P=\{2,4,6,8,10,12,\cdots \}}