هرچند که بدیهیه و باید خودتون با تعریف اولیه ثابت میکردین.
مطابق معمول اثبات به عضوگیری انجام میشه.
$$x \in N^{ \bot } \rightarrow (x,y)=0 \quad \forall y \in N $$
حالا چون $M \subseteq N$ پس برای هر $y \in M$ داریم $(x,y)=0$ این یعنی $x \in M^{ \perp } $.
