Definition:Real Square Function