basis-closed linear basis cardinal-closed cardinal monotone step step-before step-after