ועוד שאלה: האם שתיי ההוכחות נכונות? (שתיי ההוכחות הן של הכיוון מימין לשמאל)
== איך מוכיחים את הטענה הזו...אמורה להיות פשוטה.. ==
תהי <math>S</math> ת"ח בחבורה <math>G</math>.
צריך להוכיח: <math>S^{-1}=S</math>
כאשר : <math>S^{-1}=\left \{ s^{-1}|s\in S \right \}</math>.
פתרון
<math>S</math> ת"ח.
נוכיח כי <math> S^{-1}\sqsubseteq S</math>.
יהי <math>s\in S^{-1}</math>.
איך מתקדמים???