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.
#19884: Clickable view of feature header comments fails to recognize class renaming.