Here is one sentence: The extension of 'satellite of Mars' is the set containing only Demos and Phobos.
Here is another sentence: A text file will have a file extension of .txt.
Q: Does the term extension mean the same thing in both these sentences?
Options are: a). different meanings; b). the same meaning;
a).