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