Erlazio monadiko

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

$R=\{x:x\in A\wedge R(x)=egiazkoa\}$

Adibidea

• Zenbaki arrunten multzoa $\mathbb{N}$ emanda, $P$ zenbaki bikoitien erlazio monadikoa definitzen dugu, hau da, $x$ zenbaki arrunta barne $P$ izango da, $x$ bikoitia bada; honela adieraziko litzateke:

$P=\{x:x\in \mathbb{N}\wedge xbikoitia\}$

hau da, hots:

$P=\{2,4,6,8,10,12,\cdots \}$