Erlazio monadiko
Matematikan, erlazio monadikoa edo batarra, multzo batean, -ko elementuen azpimultzoa da, definitzen duen baldintza jakin bat betetzen dutenak:
Adibidea
aldatu- Zenbaki arrunten multzoa emanda, zenbaki bikoitien erlazio monadikoa definitzen dugu, hau da, zenbaki arrunta barne izango da, bikoitia bada; honela adieraziko litzateke:
hau da, hots: