# Specification of sets

