What is the relation among above docs? I know they are part of OPA. But are they subsets of each other?

Project closure docs are usually like project documents while the project is still running

They are all then filed as project filed and archived for future use when project is over.Some times project record and files can be uses interchangeablyProject record consists of all formal documents with regards to project while file can contact both formal as well as informal documents