If I have a set L and a partial order ≤ defined on L, and (L, ≤) is a lattice. We know that ≤ is transitive, i.e. if
l1 ≤ l2 and l2 ≤ l3 then l1 ≤ l3.
Well. I need to distinguish those direct ≤ from transitive one. It can be thought as a minimal cover for ≤ on L. Can I make a convention such that:
≤d and ≤t
Where d stands for direct and t stands for transitive? I'm just asking if I can differentiate direct from transitive partial order by using some symbol.