12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 20:56, 16 November 2012
, 20:56, 16 November 2012→Relations In General
f ~\text{is bijective}
f ~\text{is bijective}
& \iff &
& \iff &
f ~\text{is}~ 1\text{-regular at}~ y.
f ~\text{is}~ 1\text{-regular at}~ Y.
\end{array}</math>
\end{array}</math>
|}
|}