OrdB is:exact

Types with inequality. Minimum definition: '(<*)'.