l is a standard model, i.e. it is a transitive class and it uses the real element relationship, so it is well-founded. l is an inner model, i.e. it contains all the ordinal numbers of v and it has no "extra" sets beyond those in v, but it might be a proper subclass of v. l is a model of zfc, which means that it satisfies the following axioms: