Компактен прав