Let $M=(I,E)$ be a matroid of ground set I and independent sets E.
I am now looking for a term for all those sets $X\subseteq I$ such that there exists an element $e$ which fulfills the following properties:
- $e\in I\setminus X$
- $X\cup \{e\} \notin E$
- and there exists no other set $Y$ with the first 2 properties and $Y \subseteq X$
More colloquially said those sets for which an element exists that would make the set dependent but none of its subsets can be extended in this manner.
If there is no name for it, are there similar concepts in independence systems or other combinatorial studies?