Added the formal definition and redrew the diagrams

For problems 1 and 4a.