Define Inner Product Space Properties