 The subobjects of "X" are the resulting equivalence classes of the monics to it.In a topos "subobject" becomes, at least implicitly, a first-order notion, as follows.As noted above, a topos is a category "C" having all finite limits and hence in particular the empty limit or final object 1.