Set Theory: Properties

Properties of set theory classes, as specified by st_specification. The properties are stated as assertions that objects of classes that implement st_specification must hold true.

EiffelStudio bugs