- איחוד שני תתי מרחבים הוא תת מרחב אם ורק אם אחד מהם מוכל בשני.
- משפטון ההחלפה של שטייניץ.
- מטריצה הפיכה אם ורק אם הדטרמיננטה שלה שווה אפס.
- אי שיוויון קושי-שוורץ.
- אי שיוויון המשולש לנורמה המושרית ממכפלה פנימית.
- קבוצה אורתונורמלית היא בת"ל.
- מטריצה ריבועית לכסינה אם ורק אם יש בסיס המורכב מוקטורים עצמיים שלה.