Which of the following is a way of making a statement about the elements of a set that is true for every member of the set?
(a) Set
(b) Sequence
(c) Universal quantification
(d) Both Set and Sequence
I had been asked this question in an interview.
My query is from Formal Methods of Software Engineering topic in portion Advanced Software Engineering of Software Engineering