Ho cercato in modo approfondito e non riesco a capire cosa si intenda con il segno dell'infinito in questo pseudocodice. 
Quella riga (3) sta semplicemente dicendo di inizializzare il valore minimo al valore più alto possibile. In pseudocodice che è infinito. Se min era UInt32 in codice reale, quindi min sarebbe UInt32.Max.
In altre parole, inizia a min a un valore molto alto, quindi quando cerchi in modo iterativo valori progressivamente più bassi (confrontandoli con il valore precedente), allora il primo valore è qualcosa di così alto che il prossimo valore diventerà sempre il prossimo min.
Leggi altre domande sui tag pseudocode