Test area: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>WikiSysop No edit summary |
imported>Tommy mNo edit summary |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 9: | Line 9: | ||
\atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset | \atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset | ||
\subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | \subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | ||
\Union \upred \upto \usucc }}}</math> | \Union \upred \upto \usucc }}}</math> coco |
Latest revision as of 09:24, 16 July 2012
coco