Matematikan,
erlazio monadikoa edo batarra,
multzo batean,
-ko
elementuen azpimultzoa da,
definitzen duen baldintza jakin bat betetzen dutenak:
![{\displaystyle R=\{x:\;x\in A\;\land \;R(x)=egiazkoa\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43a8415e18b64ddd4931e28444903f35bd23065a)
Adibidea
- Zenbaki arrunten multzoa
emanda,
zenbaki bikoitien erlazio monadikoa definitzen dugu, hau da,
zenbaki arrunta barne
izango da,
bikoitia bada; honela adieraziko litzateke:
![{\displaystyle P=\{x:\;x\in \mathbb {N} \;\land \;x\;bikoitia\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56c4742530ac2259076388ab3a618c50d7bcd239)
hau da, hots:
![{\displaystyle P=\{2,4,6,8,10,12,\cdots \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df75102b656d5852ccb0aa33a89362922ae05e10)
Ikus, gainera
Kanpo estekak