🔍
🏠
Wikipedia
🎲
Direct sum of Hilbert spaces