Really cool theorem on partial ordering and subset being same upto isomorphism in anyset