تابع های یکامتعامد

مجموعۀ تابع‌های دوبه‌دومتعامد با این ویژگی که حاصلِ‌ضرب داخلی هر تابع با خودش یک است