Let be a Poset and . We say that and are compatible if some has .