To define the types, we begin by fixing a set of base types, B {\displaystyle B} .
Για να οριστούν οι τύποι, ορίζουμε ένα σύνολο βασικών τύπων, B {\displaystyle B} .