A property that holds for all in some residual subset of a Baire space is said to be generic in , or to hold generically in . In the study of generic properties, it is common to state “generically, ”, where is some proposition about . The useful fact about generic properties is that, given countably many generic properties , all of them hold simultaneously in a residual set, i.e. we have that, generically, holds for each .