Extensive

[ Definition ]
Une relation \({\cal R}\) est dite extensive si \(\forall (y,z) [\forall x (x{\cal R}y \iff x{\cal R}z) \rightarrow y=z]\). Un ensemble est dit extensif si \(\in\) est une relation extensive sur cet ensemble. C’est-à-dire que \(E\) est un ensemble extensif lorsque, dès que deux éléments \(x\) et \(y\) quelconques de \(E\) ont même intersection avec \(E\), alors \(x=y\).
En savoir plus