Introduction

Definitions