So, now claim is J is in S and J is an upper bound of, I am working with an arbitrary par tially ordered set sorry arbitrary totally ordered subset A of our set S.
അങ്ങനെ, ഇപ്പോൾ J, S ലാണെന്നും J മുകളിലെ പരിധിയിൽ ആണെന്നും ഞാൻ അവകാശപ്പെടുന്നു. ഞാൻ പ്രവർത്തിക്കുന്നത് പൂർണമായും ക്രമീകരിച്ച ആർബിട്രറി S സെറ്റിന്റെ A ഉപഗണത്തിലാണ്.