2WF40 (2023-1) Set theory and algebra