LEHRSTUHL F¨UR INFORMATIK 2
RWTH Aachen · D-52056 Aachen
Prof. Dr. Ir. J.-P. Katoen
F. Gretz & F. Sher
Modeling and Verification of Probabilistic Systems
Summer term 2011
Hand in on April 20th before the exercise class.
Exercise 1 (4 points)
Let be a countably infinite set and define F as the smallest class of subsets of such that for all A :
|A| < + A F and A F Ac
where Ac = - A denotes the complement.
a) Show the definition is non-trivial, i.e., in general F = 2.