UnderlyingSet is now an attribute for IsPoset