@sliminality@types.pl I believe it came up in undergrad formal logic, as an example of how inverting a closed set gives an open set. Not 100% sure if it was there or another class.