In a non-welfaristic framework, Sen (1993) extends the first fundamental welfare theorem by demonstrating that the market mechanism also promotes individual freedom efficiently. This paper has a two-fold purpose. First, in order to investigate extensions of the first and the second welfare theorems, we present an analytical framework in which each agent is endowed with three types of preference relations: an allocation preference relation, an opportunity preference relation, and an overall preference relation. We demonstrate that under certain conditions, the two welfare theorems can be extended. Second, we describe the restrictive nature of the underlying conditions for these positive results