ultrafilterability

not defined yet