תבנית:עץ מיון של העתקות מיוצגות סופית בין סכמות/מקרא

מקרא

	מחלקה של העתקות מיוצגות סופית בין סכמות.^[1]
	מחלקה של העתקות מיוצגות סופית שמוגדרת על ידי תכונה מקומית (על פי המקור).^[1]
	מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.
$\cap$	מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
$\,\circ$	מחלקה שכל אחד מאיבריה ניתן להציג כהרכבה של איברי המחלקות המוכלות בה ומופיעות בתרשים.^[2]

הערות שוליים

^ ¹ ² תנאי היצוג הסופי מושמט בדרך כלל מתיאור המחלקה אך אנו תמיד מניחים אותו. לחלק מהמחלקות יש משמעות גם בכלליות רחבה יותר. אולם הקשרים בין המחלקות יהיו שונים ללא הנחה זו.
^ לעיתים יש צורך לדרוש נתריות של הסכמות המעורבות כדי שזה יהיה נכון