Three Definition

The Hard Margin