Question $1$

Based on this description, we define the following types:

$[$STUDENT$,$COURSE,SECTION$]$

use the Z notation to complete the Registration schema with the following invariants:

$($b$)$ A student cannot register in two sections of the same course.

$($make it like the hint$)$