[EVa5I7bHFq9mnYK]

F(A) is a set of all actions an individual A is allowed to perform. If F(A') is a proper subset of F(A), we say that A' has less freedom than A.