Insiemi di macchine: definizioni, casi, obblighi