Definition Of Inner Product Space Properties