Problem statement for unsupervised learning 

The student in me was pleased to find the formal problem statement for the supervised case (although I must now learn it!).  Can anyone add or cite a formal problem statement for the unsupervised case?  I also added the link to Deep Learning which seems to fit well under unsupervised categorisation - trust I've not stepped on anyone's toes.