Define Inner Product Space With Astronaut