bi-unique relation ^{الإنجليزية} (Q5519027)

binary relation that is both left-unique and right-unique ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	bi-unique relation	binary relation that is both left-unique and right-unique	biunique relation

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

subclass of ^{الإنجليزية}

left-unique relation ^{الإنجليزية}

١ مراجع

١ مراجع

has quality ^{الإنجليزية}

bi-uniqueness ^{الإنجليزية}

١ مراجع

defining formula ^{الإنجليزية}

(\forall x\in X,\ y\in Y,\ z\in Y(x{\mathcal {R}}y\land x{\mathcal {R}}z\implies y=z))\land (\forall x\in X,\ \forall y\in Y,\ \forall z\in Y(x{\mathcal {R}}y\land z{\mathcal {R}}y\implies x=z))

١ مراجع