Formal definition of approximate view
o Please enter the commit message for your changes. Lines starting