#set b #mathematical domain #abstract domain #data domain #function domain