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

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