2WF40 (2022-1) Set theory and algebra