Definition:LAST

LAST stands for LAnguage of Set Theory.

It is a formal system designed for the description of sets.

Alphabet
The alphabet of LAST is as follows: