--- a/NEWS Sat Jun 04 17:48:58 2022 +0200 +++ b/NEWS Sat Jun 04 17:58:08 2022 +0200 @@ -52,6 +52,8 @@ preorder.asymp_less reflp_onD reflp_onI + reflp_on_Inf + reflp_on_Sup reflp_on_inf reflp_on_mono reflp_on_subset