Erlazio monadiko

Matematikan,  erlazio monadikoa edo  batarra,  multzo batean, -ko  elementuen azpimultzoa da,  definitzen duen baldintza jakin bat betetzen dutenak:

Adibidea 

 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:

Ikus, gainera

Kanpo estekak 

Monadiko