return to top
source
inclusion
⊆
inclusion is the "identity" function between two subsets s and t, where s ⊆ t
s
t
s ⊆ t