Definitions and notations

Coming soon...