不変論:不変の対称性と分類