https://9lib.net/document/lq5nr8wq-contra-alpha-and-beta-preirresolute-functions-on-gts.html