Structs

“Greatest lower bound” (common subtype)