Text this: Uniqueness of directed complete posets based on Scott closed set lattices