for A, B, C being set st A is_coarser_than B & B is_coarser_than C holds
A is_coarser_than C