formal set