--- a/NEWS Sat Jun 04 15:59:24 2022 +0200 +++ b/NEWS Sat Jun 04 17:42:04 2022 +0200 @@ -50,7 +50,10 @@ preorder.asymp_less reflp_onD reflp_onI + reflp_on_inf + reflp_on_mono reflp_on_subset + reflp_on_sup total_on_subset totalpD totalpI