This is an old revision of the document!


Restricted relation

Definition

$X,Y,Z$
$R\in \text{Rel}(X,Y)$
$ \langle x,y\rangle \in R_{|Z}$
$ \langle x,y\rangle \in R $
$ x \in Z $

Ramifications

Reference

Mizar files: RELAT_1

Wikipedia: Wikipedia: Binary relation

Context

Parametrized subset of

Link to graph
Log In
Improvements of the human condition